Proof Flashcards
(5 cards)
1
Q
What does a => b mean?
A
a implies b
2
Q
What does a <=>b mean?
A
a implies b and b implies a
3
Q
What is proof by exhaustion?
A
Try every single possible method
4
Q
What is proof by deduction?
A
Go through a logical argument
5
Q
What is disproof by counter example?
A
Find an example where the statement is false
