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