First-order logic Updated 2024-12-15 +Created 1970-01-01
View more
Builds on top of propositional logic, adding notably existential quantification.
Read the full article