To assist learners to make deductions of cause and effect relations.

Motivation, syntax, propositional variables, connectives, sentences. Valuations, logical consequence, logical equivalence, truth tables, satisfiability, Beth Trees. The Disjunctive Normal Form Theorem, expressibility, adequate sets of connectives. The Interpolation Theorem. Rules of proof, formal proofs, the Correctness Theorem. Consistency, the Completeness and Compactness Theorems.