Symbolising Quantied Arguments
1. (i) Symbolise the following argument, given the universe of discourse
is U = set of all animals.
Animals are either male or female.
Not all Cats are male,
Therefore, some cats are female.
Let Cx = x is a cat, M x = x is m
Question Sheet 2
1) Let r, s and t denote the propositions
r: Judith goes out for a walk,
s: The moon is out,
t: It is snowing.
Write the following in symbolic form
(i) If the moon is out and it is not snowing then Judith goes out for a
(ii) It is n
Question Sheet 5
1) Let U = cfw_1, 2, 3, 4, 5, 6. In each of the following cases give examples of
sets A, B, . U such that the equality does not hold.
(i) (A B) C c = A (B C c ),
(ii) A B C = A B (C B),
(iii) (A B) Ac = B,
(iv) (A B)c C = (Ac C) (B c C).
Question Sheet 4
1) Let A = cfw_1, 2, 3, 4. Which of the following statements are true?
(iii) cfw_2 A,
(iv) cfw_1, 4, 4 A,
(vi) A A,
(vii) A A,
(viii) cfw_4, 3, 2 A,
If a statement is false, give a reason.
1 Propositional Logic
A declarative sentence is a sentence that declares a fact or facts.
The earth is spherical.
7 + 1 = 6 + 2
x2 > 0 for all real numbers x.
1 = 0
This sentence is false
These are all declarative sente
Solutions to Additional Questions 6 and 7
6 Arguments in words.
Symbolise the following arguments and prove them valid using the rules
1. Adam was the rst man and Eve the rst woman. If the bible is wrong
then Adam wasnt the rst man. If the bi
Question Sheet 3
1) Using truth tables determine whether the following arguments are valid
p q, q
p q, q
(iii) p q, p
(iv) p q, q r
(v) p q, q r
(vi) p q, q r
(q r) p,
(vii) p q, p r, q r
2) Consider the argument
Solutions to Additional Questions 4 and 5
4 Exercises in C.P.
1. q r, p, p q
2. q r, p q
Note that lines 1-5 are simply the proof for the
Solutions to Additional Questions 2 and 3
2 Arguments with only one premise.
These can be a little tricky to prove. You often need to use a rule that
increases the numbers of premises, i.e. CP or RAA.
1. A A
Question Sheet 1
1) For each of the following decide whether it is a proposition or not, and if
it is, indicate whether it is true or not.
15 is a positive number,
The Earth is at,
x2 0 for every real number x,
2 Natural Deduction
A deductive proof is a step-by-step demonstration that a given argument
is valid. At each step we apply rules of inference. We will justify the introduction of these rules by using truth tables to show that they arise from valid
1.3 More Connectives
1.3.1 Conditional and Biconditional
Consider the proposition: If it is raining then it is cloudy, which we
say is a conditional statement.
Let p =It is raining, q =It is cloudy. Then the proposition can be written
as If p t
A valid argument is a nite set of propositions P1 , ., Pr called premises,
together with a proposition C, the conclusion, such that the propositional
form (P1 P2 . Pr ) C is a tautology.
We say C follows logically from, or is a logi
2.2 Rules II
E (Eliminating the and)
p and p q
q are both valid, so
If we have a step of the form p q in the proof, then we can
deduce p and we can deduce q.
I (Introducing and)
p q is valid, so
If we have steps of the form p and q in the proof, t
Solutions to Additional Questions 1
Those marked with a * may be considered harder than the rest.
1 Valid Arguments
Prove the following arguments are valid:
1. (A B) C, (A B)
1 (A B) C
2 (A B)
2. (D E) (F G) , D E
1 (D E) (F G) A