2: Logical equivalence — Read

From LibreTexts, under GNU Free Documentation, as the source states it; its equations are written in TeX, which the PDF shows typeset. This page at LibreTexts.

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

This page titled 2: Logical equivalence was last modified on Tue, 01 Sep 2026 03:33:53 GMT and is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Jeremy Sylvestre via source content that was edited to the style and standards of the LibreTexts platform.

Contents

Text