C1-4 Flashcards
what is a prime number
number that has exactly two positive divisors (1 and the prime number)
what is a composite number
an integer greater than 1 which is not prime
what is the smallest prime number
2
definition
introduction of a term or concept, as unambiguous as possible
statement
a sentence that is either true or false
proof
a chain of logical arguments that establishes the truth of a statement
conjecture
a statement that is believed to be true but has not been proved
theorem
a statement which is known to be true
proposition
in books on logic this is used synonymously to ‘statement’
also used for less important theorems
lemma
a true statement that is used for the proof of a more important theorem
corollary
a true statement that easily follows from a theorem
principle
a fundamental law assumed to be true, usually without proof
axiom
one of a set of statements that are assumed to be true and form the basis of a branch of maths
direct proof
prove smaller implications which are obvious until the required thing is proved
proof by contraposition
use the fact that
p implies q iff not q implies not p
so here lead from q being false to p being false
Proof by contradiction
to prove that p is true, we assume p is false. if the assumption leads to a contradiction we can establish that p cannot be false and so must be true
Proof by induction (eg P(n) is true)
base case- verify P(1) is true
induction step- assume that P(n) is true for a fixed n and use this to prove that P(n+1) is true
Conclusion- by induction principle, P(n) holds true for all integers (example)