PROOF 27
Prove.
One counterexample brings a statement down
In propositional logic.
Definition D1
∀x P(x) means that P(x) holds for every x in the domain.
Proof.
Related labs
PROOF 27
One counterexample brings a statement down
In propositional logic.
Definition D1
∀x P(x) means that P(x) holds for every x in the domain.
Proof.
Related labs