Inductive Reasoning
a process of looking at a pattern and drawing a conclusion from that pattern
Conjecture
our conclusion that we come to after observing patterns
Counter Example
proves a conjecture false
Goldbach's Conjecture
every integer greater than two can be expressed as the sum of two prime numbers
Statement
a sentence that is either true or false
Negation
the negation of a statement will have the opposite truth value of the statement
universal quantifier
∀ "for all" "every"
existential quantifier
∃ "there exists" "some" "One or more"
conjunction
a compound statement formed by combining two statements with the word "and" (∧)
disjuntion
a compound statement formed by joining two statements with the word "or" (V)