Predicate Logic

Propositional logic includes statements formed from other statements with the ∧, ∨, ¬, → and ↔ symbols. Predicate logic adds statements involving predicates as well as the ∃ and ∀ symbols:


Comments

Post a Comment