Course Description
Course Name
Formal Logic
Session: VGSS3122
Hours & Credits
20 SCQF Credits
Prerequisites & Language Level
Intro Philosophy
Taught In English
- There is no language prerequisite for courses at this language level.
Overview
This course introduces students to the meta-theory of propositional and predicate logic
By the end of the course, students should be able to:
- Use the method of proof by induction on length of formula and length of proof;
- Find a formula in disjunctive normal form for any given truth table;
- Determine whether a set of connectives is expressively adequate;
- Distinguish semantic from syntactic entailment, and explain what is meant by soundness and completeness proofs;
- Prove propositional sequents;
- Prove the soundness and completeness theorems for propositional logic;
- Explain the main ideas in Tarski's truth definition for predicate logic;
- Prove simple sequents of predicate logic;
- Explain the main ideas in the soundness and completeness theorems for predicate logic;
- Determine simple properties of binary relations.
*Course content subject to change