Two propositions are logically equivalent if they share the same truth value across all possible scenarios.
Not to be confused with equivalence relation and logical biconditional
Common Logical Equivalences
Equivalence | Name |
---|---|
Identity Law | |
Domination laws | |
Idempotent or tautology laws | |
Double Negation | |
Commutative laws | |
Associative laws | |
Distributive laws | |
De Morgan’s laws | |
Absorption laws | |
Negation laws | |
1 |
Relationship with Biconditional
Substitutability
In propositional logic, if a proposition