previous up next
Go backward to Operational Interpretation
Go up to Top
Go forward to Propositional Logic
RISC-Linz logo

Equivalence Laws

Proposition: For all formulas A and B, the following holds:

A <=> B iff B <=> A
A <=> B iff (A /\  B) \/ (~A /\  ~B)
A <=> B iff (A => B) /\  (B => A

Equivalence can thus be defined by implication and conjunction.

Proposition: Equivalence is not associative.

Proof: by construction of a counterexample.

Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next