Proof Flashcards

1
Q

NOT P

A

¬ P

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

P AND Q

A

P ∧ Q

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

If P then Q

A

P ⟹ Q

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

P if and only if Q

A

P ⟺ Q

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

NOT (P AND Q)

A

¬ P ∨ ¬Q
(NOT P) OR (NOT Q)

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

Direct proof steps

A
  1. Write down assumptions and known facts
  2. Create a logical chain of argument
  3. Deduce the statement to be proven
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Proof by cases

A

Breaking down the statement into cases and proving them each on their own

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

Proof by contradiction steps

A
  1. Assume the negation of the statement (¬P) is true
  2. Use logical deductions to show it leads to a contradiction and conclude that the original statement (P) is true
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Proof by induction steps

A
  1. Base case - irst check the base case: P(n) is true
    The smallest possible n is usually 0 or 1 unless stated otherwise
  2. Inductive Hypothesis - assume P(k) is true for some k such that k ∈ N
  3. Inductive Step - show if the statement is true for n = k then it must be true for n = k + 1
  4. Conclusion - conclude the statement holds for all n (since base case and inductive step work)
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Proof by construction

A
  1. Create an object or example that satisfies the given statement
  2. Show that the object or example meets the required conditions
  3. Conclude that the statement is true by virtue of the constructed object or example
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

When to use direct proof

A

Claims in the form “if (some claim A is true), then (some other claim B is true)”.

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

When to use case proof

A

Claims with modular arithmetic, even versus odd numbers, claims about “is a multiple of”, or absolute values.

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

When to use construction

A

Claims in the form “Show that blah exists?”

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

When to use induction

A

Claims where it seems like your previous results stick together to give you a later result.

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

When to use contradiction

A

Anything else :’)

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