DZ. Analyse the following piece of informal reasoning. Identify the conclusion and the
explicit premise(s) and formalise them using Predicate Logic. Is the argument valid
as it stands? Are any hidden assumptions being taken for granted? If so, articulate
[SE
Summer 2014 examination
PH101
LOGIC
Suitable for all candidates
instructions to candidates
Time allowed: 3 hours
This paper contains 19 questions. Attempt ALL the questions in Section A, THE
question in Section B, and ALL the questions in Section C. Y
PH101 Exercise 02 Solutions
A.
p = The Butler is guilty.
q = The Chambermaid is guilty.
r = The Scullerymaid is guilty.
s = The Chauffeur is guilty.
1. (p v q) (r&s)
p
T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F
q
T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F
r
T
T
F
F
T
T
F
F
T
T
PH 101
Exercise 1 (self assessed)
Categorise the following inferences as either (a) valid and sound, (b) valid and unsound or (c)
invalid. At present you will have to rely on your intuitions about validity. (Remember the basic
question about validity is
Exercises for SelfStudy 3Solutions
The following exercises are useful training for the exam. They will not be marked or corrected, but
model solutions will be made available on Moodle at the beginning of Summer Term. Please note
that where you were aske
P
T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F
Q
T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F
R
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
S
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
P&Q&R&S
P & Q & R & S
P & Q & R & S
P & Q & R & S
P & Q & R & S
P & Q & R & S
P & Q & R & S
P & Q & R & S

v
PH 101 LOGIC Coursework 2
Q2
2(i) What does it mean for a set of connectives to be adequate for truth functional
logic?
(ii) Show that if cfw_, v, &, , is adequate so is cfw_, v
(iii ) Produce equivalents for the following sentences that use just the
Coursework 1  some solutions
1. Formalise the following inferences in the language of truth functional
logic, then decide, using the associated conditional method, whether
they are valid or invalid:
1a
If Nave realism is true then Nave realism is false.