Concept

Monadic predicate calculus

Overview

fragment of first-order logic

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• First-order logic
• Logical equivalence
• Propositional logic
• Augustus De Morgan
• Domain of discourse
• Arity
• Quantifier (logic)
• Atomic formula
• Logic
• Syllogism
• Gottlob Frege
• Charles Sanders Peirce
• Decision problem
• Begriffsschrift
• Problem of multiple generality
• Predicate variable

Place in the tradition

Part of Metalogic.

Explore Monadic predicate calculus in the interactive graph →