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.

• Rule of inferenceCompared with: Equivalence relates propositions symmetrically; an inference rule licenses a direction of derivation.

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

• ContradictionCompared with: Equivalent claims agree across interpretations rather than excluding one another.

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

• EqualityCompared with: It relates statements by truth conditions, not expressions by numerical value.

• 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.

• Elementary equivalenceCompared with: Elementary equivalence compares structures across all sentences, rather than comparing formulas.

• 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.

• Skolem normal formCompared with: Skolemization generally preserves satisfiability, not this stronger relation.

• Law of identityCompared with: Equivalent expressions need not be identical propositions or denote the same object.

• Sheffer strokeCompared with: The stroke’s alternative notation does not change its truth-functional meaning.

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