The Foundations: Logic
Chapter 1, Part I: Propositional Logic
The Language of Propositions
The Language of Quantifiers
What is Discrete Mathematics?
Discrete mathematics is the part of mathematics devoted to the
study of discrete (as opposed to continuous) objects.
Calculus deals with continuous objects and is not part of discrete
Applications of Propositional Logic:
Translating English to Propositional Logic
AI Diagnosis Method (Optional)
Tautologies, Contradictions, and Contingencies.
Important Logical Equivalences
Showing Logical Equivalence
Normal Forms (optional, covered in exercises in text)