Propositional logic is not particularly expressive. Consider for example the following argument:
Anybody who worked hard in this class received a good grade
Sam worked hard in this class.
Therefore, Sam received a good grade.
While this argument is obviously valid, it cannot be shown to be valid in propositional logic, as propositional logic does not allow you to reason about individual entities, their properties and relationships between them. For this, we need a more powerful logic, and first-order predicate calculus provides this additional power. In this sub-module, we therefore turn to predicate logic.
On completion of this module, you will be able to
To get started in this sub-module, please read the section entitled "Predicate Logic" in Duy Bui's chapter at
You may also want to watch Shai Simonson's lecture at 11-03-00: More logic: quantifiers and predicates.
Once you have completed the material, complete the quiz 2 and quiz 3 per due dates