1.8 Proof Methods and Strategies Flashcards

1
Q

Proof by cases

A

Proving by considering different cases
p1-> q
p2->q
p3->q
——–
p->q

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

Constructive proof of existence

A

Proving ∃

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

Constructive proof of existence

A

Proving ∃x by finding an element a (called the witness) such that P(a) is true

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

Non-constructive proof

A

Not finding an element where P(a) is true
Example: Using proof by contradiction to show that the negation of ∃x implies a contradiction

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

Uniqueness proof

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