Unit 2: The Logic of Quantified Statements
In the previous unit, we discussed the logical analysis of compound statements, including those comprised of simple statements joined by OR, AND, NOT, etc. operators. This analysis provides us with a better understanding of human reasoning, but cannot be used to determine the validity of the majority of mathematical situations. In some cases, it becomes necessary to separate statements into parts, just as we parse sentences in order to facilitate comprehension.
In this unit, we will learn to analyze and understand the special roles that keywords and predicates (like "for all" and "some") play − exercises that constitute the foundation of predicate calculus.
Completing this unit should take you approximately 8 hours.