1 - proof Flashcards
polynomial
function containing powers of x
P=> Q
P implies Q
P <=> Q
P is equivalent to Q
Q is true if and only if P is true
inequality set notation
{ x: x>3} U { x: x<2}
{x : 2 <x <7, x EIR}
x> 3 and x<2 = { x: x € Ø}
interval notation
x € (x is an element of)
x€ (a,b]
a < x <=b
conjecture
a statement that has yet to be proven
theorem
statement that has been proven
proof types
- disproof by counter example
- proof by exhaustion
- proof by deduction
disproof by counter example
find a value that shows the statement is untrue
proof by exhaustion
prove its true by showing its true for all values / cases
- eg n^2 + n is always even - show for if n is a odd number and for an even number
- eg prove 41 is prime - try all prime values up to root41
- prove that when x^2 is divided by 3 there is only remained 1 or 0 - try for a value that is a multiple of 3, a multiple of 3 + 1 and a multiple of 3 +2
proof by deduction
use algebra to show it as true