Practice Paper 2
Practice Paper 2
School of Arts
Department of Philosophy
PHIL10032
3. (5 marks) Is each of the following possible? If so, give an example (described in words,
not symbols). If not, explain why.
4. (2 marks) Suppose your friend refuses to accept the conclusion of a valid argument. Are
they wrong to do so?
5. (6 marks) Are the following arguments valid or invalid? If an argument is invalid, de-
scribe in words a situation that would be a counterexample.
Page 2
Truth Functional Logic
6. (8 marks) Symbolise the following sentences in TFL. In each case, explain the meaning
of the letters you use. Highlight any ambiguities or difficulties of interpretation.
7. (8 marks) Symbolise the following sentences in Truth Functional Logic using the follow-
ing symbolisation key:
Page 3
9. (18 marks) Give a proof of each of the following arguments, using only the Basic Rules
as presented in the lectures.
(a) A → (B & C) ∴ A → B
(b) D → F, A → (¬F & D), A ∴ B
(c) A ∨ B, ¬B ∴ A
10. (16 marks) Show the following arguments are valid by (a) symbolising them in Truth
Functional Logic, and then (b) giving a proof. You may use the Basic Rules and the
Derived Rules. Explain the meaning of the letters you use to symbolise the sentences.
(a) If it is Tuesday, I have a logic lecture. If I have a logic lecture then I have to get
out of bed. It is not Tuesday, and I don’t have to get out of bed, so I do not have
a logic lecture.
(b) If Joe watched TV in bed, then he didn’t sleep. If he didn’t sleep, then he is grumpy.
So if he is happy then he didn’t watch TV in bed.
Page 4
12. (12 marks) Using the provided key, write the following sentences in FOL:
domain: people
Sx: x studies for the exam
P x: x passes the exam
Kxy: x knows y
1. So
2. ∀xAxx
3. ∃xAox
4. ∃x∀yAxy
5. ∃x∀y(Sy → Axy)
Page 5