2: Logical equivalence
( \newcommand{\kernel}{\mathrm{null}\,}\)
- 2.1: Equivalence
- statements A,B such that A↔B is a tautology
- 2.2: Propositional Calculus
- Logical equivalence gives us something like an “equals sign” that we can use to perform logical “calculations” and manipulations, similar to algebraic calculations and manipulations.
- 2.3: Converse, Inverse, and Contrapositive
- Related to the conditional p→q are three important variations.