SSA12
Logic II
Construct truth tables for compound statements; apply contrapositive, converse, and indirect proof.
Distinguish propositions from non-propositions, assign truth values, and tell simple from compound statements and their connectives.
Form and evaluate the negation, conjunction, and disjunction of propositions, and combine operations step by step.
Set up truth-table frameworks, construct tables for the core operations and complex expressions, and identify tautologies and contradictions.
Build the truth table for the conditional, form the converse, inverse and contrapositive, and verify logical equivalence with the contrapositive.
Use proof by contradiction, apply the argument chain rule, recognise Modus Ponens and Modus Tollens, and integrate the whole unit in WAEC-style problems.
Unit code SSA12
SSA12
Construct truth tables for compound statements; apply contrapositive, converse, and indirect proof.