Mathematical Logic



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.