Proofs Flashcards
1
Q
Proposition
A
statement with premise and conclusion
p -> q
2
Q
Converse of a proposition
A
q -> p
proposition: if its snowing outside, then its cold outside
converse: if its cold outside, then its snowing outseide
3
Q
Inverse of a proposition
A
not p -> not q
proposition: if its snowing outside, then its cold outside
inverse: if its not snowing outside, then its no cold outside
4
Q
Contrapositive of a proposition
A
not q -> not p
proposition: if its snowing outside, then its cold outside
contrapositive: if its not cold outside, then its not snowing outside
5
Q
The original proposition and the contrapositve……..
and
The converse and the inverse……….
A
ALWAYS have the same truth value
6
Q
Methods of proof
A
- ) direct proof:
- prove p -> q
- ) indirect proof:
- prove not q -> not p
- ) cases:
- prove hypothesis p is equivalent P1 or P2 or…Pn
- prove P1 -> q or P2 -> q or…..Pn->q
- ) contradiction:
- prove not q -> something ridiculous
- ) induction