This document discusses proof by contradiction, a method of proof that establishes the truth or validity of a statement by showing that the assumption that it is false leads to a contradiction. Specifically, it states that to use proof by contradiction, one should replace a conditional statement "p implies q" with "p implies not q" and prove that the modified statement is invalid.
Original Description:
Discrete Mathematics or MACM
cheat sheet used for
-Laws of logic
-rules of equivalence
-Related logical implications
-Logic conversion table
-Set theory
-Probability
and more
print this sheet out to make doing Discrete mathematics course work easier as this is essential for 90% of the course work.
This document discusses proof by contradiction, a method of proof that establishes the truth or validity of a statement by showing that the assumption that it is false leads to a contradiction. Specifically, it states that to use proof by contradiction, one should replace a conditional statement "p implies q" with "p implies not q" and prove that the modified statement is invalid.
This document discusses proof by contradiction, a method of proof that establishes the truth or validity of a statement by showing that the assumption that it is false leads to a contradiction. Specifically, it states that to use proof by contradiction, one should replace a conditional statement "p implies q" with "p implies not q" and prove that the modified statement is invalid.