Predicate Logic

The principal data type in CORE is a first-order sentence.

• Sentences
• Objects
  • Creation
  • Examples
• Constants
  • Examples
• Predicates
  • Creation
  • Examples
• Relations
  • Syntax
  • Creation
  • Examples
• Connectives
  • Negation
  • And
  • Or
  • Implies
  • Biconditional
  • Connective Precedence
• Quantifiers
  • Syntax
  • Universal Quantifiers
  • Existential Quantifiers
  • Examples
• Trivial Truth
  • Trivially True
  • Trivially False
  • Trivial Implication
  • Trivial Equivalence