By the end of the course, students will be able to:
- demonstrate knowledge of basic logical connectives by:
- constructing truth tables to represent them
- constructing truth tables for compound formulas of
propositional logic
- apply knowledge of the logical connectives and notational
conventions of propositional logic by symbolizing compound statements given in
natural language
- use an appropriate method (truth tables or semantic
tableaux) to determine whether a set of statements is consistent or inconsistent
-
- understand and use a variety of techniques to construct simple formal
proofs of theorems;
- develop a basic understanding of first order languages -
predicate, quantifiers, interpretations, models.