Proofs Flashcards

1
Q

Proposition

A

statement with premise and conclusion

p -> q

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

The original proposition and the contrapositve……..
and
The converse and the inverse……….

A

ALWAYS have the same truth value

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Methods of proof

A
  1. ) direct proof:
    • prove p -> q
  2. ) indirect proof:
    • prove not q -> not p
  3. ) cases:
    • prove hypothesis p is equivalent P1 or P2 or…Pn
    • prove P1 -> q or P2 -> q or…..Pn->q
  4. ) contradiction:
    • prove not q -> something ridiculous
  5. ) induction
How well did you know this?
1
Not at all
2
3
4
5
Perfectly