🗄️
math-debrief
search
Ctrlk
  • Math Debrief
  • Math: TIMELINE
  • 100-fundamentalschevron-right
  • 200 Set and Set theorychevron-right
  • Relationschevron-right
  • Order theorychevron-right
  • Function Theorychevron-right
  • debrief-name: math section-code: 280 section-name: domain-theory section-desc:chevron-right
  • Logicchevron-right
    • Logic: CHRONO TERMS
    • Logic: CLUSTERS
    • lo.GLOSSARY
    • Logic: Wiki links
    • 305-basic-conceptschevron-right
    • READMEchevron-right
    • 360-propositional-logicchevron-right
    • 370-predicate-logicchevron-right
      • Predicate Logic
      • First-order logic
      • Predicate calculus
      • Examples of predicate formulae
    • 380-proof-theorychevron-right
    • Logic: Indiceschevron-right
    • Logicchevron-right
    • Rules of Inferencechevron-right
    • Logicchevron-right
    • Logicchevron-right
    • Logic: Sections: Elementary
    • Logic: Topicschevron-right
  • 510 Lambda Calculichevron-right
  • Type theorychevron-right
  • Abstract Algebrachevron-right
  • Category Theorychevron-right
  • Number Theorychevron-right
  • Theory of computationchevron-right
  • debrief-name: math section-code: 900 section-name: aggregations section-desc: Aggregations, indices,chevron-right
  • debrief-name: math section-code: 800 section-name: misc section-desc: Misc and unclassified mathematchevron-right
gitbookPowered by GitBook
block-quoteOn this pagechevron-down
  1. Logic

370-predicate-logic

Predicate Logicchevron-rightFirst-order logicchevron-rightPredicate calculuschevron-rightExamples of predicate formulaechevron-right
PreviousPropositional Logicchevron-leftNextPredicate Logicchevron-right

Last updated 4 years ago

Was this helpful?

Was this helpful?