PROOF 112
Prove.
De Morgan's laws
In propositional logic.
Definition D1
Two propositions are equivalent, written ⟺, when they have the same value under every assignment of truth values.
Proof.
Related labs
PROOF 112
De Morgan's laws
In propositional logic.
Definition D1
Two propositions are equivalent, written ⟺, when they have the same value under every assignment of truth values.
Proof.
Related labs