Objective
To introduce the language and semantics of propositional and first order predicate logic. To introduce and demonstrate the natural deduction and tableaux proof systems.
Course Contents
- First-order predicate logic: syntax, variables, structures, informal and formal semantics.
- Propositional logic, logical connectives, adequacy of connectives, disjunctive and conjunctive normal forms, validity, satisfiability, semantic entailment.
- Proof systems: natural deduction and tableaux for propositional and predicate logic.
- Mendelson E. (1997): Introduction to Mathematical Logic, 4th Edition, Chapman & Hall.