Linked from

The 16 pages that link to Logical equivalence, each with the reason it gives.

• PropositionRelated: Equivalent propositions can differ in wording while matching in truth conditions.

• Truth tableRelated: Matching output columns establish equivalence directly.

• Logical connectiveRelated: Equivalent connective expressions can replace one another without changing truth conditions.

• SatisfiabilityRelated: Equivalent formulas always agree on whether any satisfying interpretation exists.

• Algebraic identityRelated: It is the logical analogue of equality holding universally across permitted cases.

• Exclusive orRelated: Exclusive or can be rewritten using equivalent formulas such as a disjunction excluding conjunction.

• Prenex normal formRelated: Each transformation to prenex form must preserve truth under every interpretation.

• Biconditional introductionRelated: The two conditional directions together express equivalence in classical propositional logic.

• If and only ifRelated: It is often confused with a single conditional, though it requires agreement in both directions.