I have discussed a logical system called “propositional logic.” I will now discuss predicate logic, a system that is a bit more complex than propositional logic because it introduces predicates, quantifiers, constants, variables, and the universe of discourse. It also uses the elements of propositional logic (propositional letters and connectives). I recommend you learn about propositional logic before learning about predicate logic. (more…)