Quick Index

• Lecture 2 Logic and Proof .
• The Story So Far .
• Basic Elements .
• Next Two Lectures .
• Propositions .
• Propositional Logic: Syntax .
• Propositional Logic: Semantics .
• Semantic Turnstyle .
• Terminology & Special Cases .
• Propositional Calculus .
• Example .
• About Proofs .
• Natural Deduction .
• Some Other Proof Styles .
• Relation to Natural Deduction .
• Equivalence .
• Example .
• Relation Between Syntactic and Semantic Domain .
• Predicate Logic .
• Predicates (2) .
• Predicates (3) .
• Predicate Logic: Syntax .
• Predicate Logic: Semantics .
• Predicate Calculus .
• Equality .
• Theories .
• Examples .

These pages and the information above are (c)1996 copyright CMU Computer Science unless stated otherwise.