PROOF 26
Prove.
Proof by contradiction is justified
In propositional logic.
Definition D1
A contradiction is a statement of the form q ∧ ¬q. It is written ⊥.
Proof.
Related labs
PROOF 26
Proof by contradiction is justified
In propositional logic.
Definition D1
A contradiction is a statement of the form q ∧ ¬q. It is written ⊥.
Proof.
Related labs