01 - Calc Logic & Proof
01 - Calc Logic & Proof
If S is a set and P is a property which the elements of S may or may not have then
A = {x ∈ S : s.t. P holds} is the set of all x ∈ S which have the property P.
For example, IR+ = {x ∈ IR : x > 0} is the set of all positive real numbers, while
ZZ+ = {m ∈ ZZ : m > 0} is the set of all positive integers.
STATEMENTS
(Mathematical) Statements are the basic units of mathematical reasoning. They are sen-
tences (propositions) which are unambiguously either true or false but not both (unlike
many remarks made in ’normal’ English). For example, ‘20-1 = 42’ is a false statement,
whereas ‘Thoroughly boiled cabbages are delicious’ is not a statement in this sense. Sym-
bols such as p and q are used to stand for statements in the way we use x and y to stand
for numbers.
Examples of statements:√ (a) 1 > 2 (b) There are one thousand
√ dollars in the bag. (c) It
is raining outside. (d) 2 is an irrational number (i.e. 2 �∈ Q).
1
get used to it. Implications play a central role in an important method of proof known as
mathematical induction, which we shall be discussing soon.
(v) equivalence (double implication): ‘p⇔ q’ means ‘p⇒ q and q⇒ p ’. It is read as ‘p
if and only if q’, and is true if both p and q are true or if both p and q are false. The
symbol ≡ is also sometimes used, and may be read as ‘is logically equivalent to’
(vii) exclusive or: ‘p eor q’ is true if p is true or q is true but not both. This last connective
is not encountered as frequently as ‘or’ in mathematics but it’s as well to know about it.
Example: Let p and q be the statements ‘5 > 2’ and ‘1 + 2 = 6’, respectively. Then: ‘p and
q’ is false, ‘p or q’ is true, ‘∼ q’ is true, ‘∼ (p and q)’ is true, ‘p⇒ q’ is false, ‘q⇒ p’ is true.
TRUTH TABLES
These tables are sometimes useful for summarising the behaviour of compound state-
ments. For example, here is the truth table for p⇒ q.
p q p⇒ q
T T T
T F F
F T T
F F T
QUANTIFIERS
2
Universal Quantifier : ‘∀ means for all’.
Existential Quantifier : ‘∃’ means ‘there exists’.
If p(x) is some statement about a variable x then: ‘∀x, p(x)’ means ‘for all x, p(x) is true’
and ‘∃x, p(x)’ means ‘there exists x s.t. p(x) is true’.
Negations of Quantifiers: ‘∼ (∀x, p (x))’ means ‘∃x s.t. ∼ p(x), and ∼ (∃xs.t. p (x))’
means ‘∀x, ∼ p(x)’.
Examples: The statement ‘the square of any real number is non-negative’ (which is true)
may be written more compactly as ‘∀x ∈ IR, x2 ≥ 0.’ Its negation (which is false) reads
‘∃x ∈ IR, x2 < 0’. The negation of the statement ‘∀x ∈ IR, sin x < 1’ (which is false) is:
‘∃x ∈ IR, sin x ≥ 1’ (which is true; e.g. take x= π/2).
IMPORTANT NOTE: Statements may include more than one quantifier and the or-
der of these is important. For example, ‘∀x ∈ IR, ∃y ∈ IR s.t.x = 2y’ is not the same as
‘∃y ∈ IR s.t.∀x ∈ IR, x = 2y’. (Why?)