Hello, dear friend, you can consult us at any time if you have any questions, add WeChat: daixieit

PHIL0005: Introduction to Logic 1

Mock Examination II

1.  Consider the following argument:

For Andrea not to be the killer, it’s necessary and sufficient that she was absent from the crime scene between 10pm and 11pm.  But Andrea was with Juliana or with Mary during that time.  If she was with Juliana, Andrea was watching a film and not at the crime scene between 10pm and 11pm.  Therefore, Andrea isn’t the killer.

(a) Identify the premisses and the conclusion and formalise the argument in c1 , providing a dictionary.  (10 points)

(b)  Decide whether the original argument is propositionally valid using your favourite method. (15 points)

2.  Consider the following two c1  sentences:

-Q V P                                                                   (2)

(a) Is (2) a logical consequence of (1)?  (10 points)

(b)  Are they logically equivalent?  (10 points)

(c)  Decide if each of them is a contingent sentence, a tautology, or a contradiction. (5 points) 3.  Decide if the following claims are true or false:

(a) If ϕ E ψ, then -(ϕ - ψ) is a contradiction.  (10 points)

(b) If (ϕ, -ψ} is unsatisfiable, then ϕ and ψ are logically equivalent.  (10 points)

4.  Show that -(P V R) - Q, -Q, P - R 上 R.  (10 points)