Indirect Proof Explained (Contradiction Vs Contrapositive)
Contradiction Discrete Math. To prove ( ∀ x) ( p ( x) ⇒ q ( x)), devise a predicate e ( x) such that ( ∀ x) ( ¬ e ( x)).
To prove ( ∀ x) ( p ( x) ⇒ q ( x)), devise a predicate e ( x) such that ( ∀ x) ( ¬ e ( x)).
To prove ( ∀ x) ( p ( x) ⇒ q ( x)), devise a predicate e ( x) such that ( ∀ x) ( ¬ e ( x)). To prove ( ∀ x) ( p ( x) ⇒ q ( x)), devise a predicate e ( x) such that ( ∀ x) ( ¬ e ( x)).
