Term
|
Definition
n is even if n = 2k k ∈ ℤ
|
|
|
Term
|
Definition
| n is odd if n = 2k + 1 k ∈ ℤ |
|
|
Term
|
Definition
| r is rational if r = a⁄b a,b ∈ ℤ, b ≠ 0 |
|
|
Term
|
Definition
- Assume p
- logic + math
- conclude q
|
|
|
Term
|
Definition
p → q
¬ q → ¬ p
- Assume ¬ q
- logic + math
- conclude ¬ p therefore p → q
|
|
|
Term
|
Definition
- Assume the statement is False
- Show p → q ≡ ¬ p ∨ q
|
|
|
Term
|
Definition
- Assume ∀x P(x) is false.
- Math + logic
- Conclude ∃x ¬P(x).
To disprove. |
|
|
Term
|
Definition
| Check EACH value individually. |
|
|
Term
|
Definition
- Break down into distinct groups (exp. true and false; even and odd )
- Prove each case.
- Conclude it is proved in general
|
|
|
