2: Logical equivalence Last updated Save as PDF Page ID 83402 Jeremy Sylvestre University of Alberta Augustana 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. 2.4: Activities 2.5: Exercises