Rigorous Reasoning

Concept · Foundations

Logical Equivalence

A relation between two statements that are true under exactly the same truth-value assignments.

Why it matters

Equivalent forms can be substituted for one another and let us simplify and transform arguments.

Where this shows up

Units and lessons using this concept

Following the links will take you to the page where this term is introduced in context.

Related

Other concepts in Foundations

A, E, I, O PropositionsAccessibility RelationArgumentAtomic StatementAuthorial IntentBase RateBayes FactorBurden of Proof in InterpretationCalibrationCardinalityCartesian ProductCategorical Proposition
Logical Equivalence · Rigorous Reasoning