Module: Propositional Logic

Assertions and propositions, connectives, tautologies, contradictions, implications, equivalences, proofs.

Learning Outcomes

Use propositional logic to solve problems.

Readings

Experiential Learning