You are on page 1of 2

Phil 303 [Practice] Final Exam

Open book, open notes.


Time Allowed: 2 hours
The (practice) exam has 2 pages

1. Say we add to SD the rule of negated disjunction introduction::

(PQ)

Add a case to the proof of metatheorem 6.3.1 that the resulting proof
system is sound. (Note: you are not being asked to prove that this
is an acceptable derived rule by producing a derivation it abbreviates.
Add a case to the proof of 6.3.1)

2. Prove the following statement, or give a counter-example:

If P and Q then P&Q


(The answer must cite a particular metatheorem)

1
3. Prove that if is a maximally consistent in SD set of sentences of SL
then:

(P & Q)
if and only if:
P and Q

4. Formalize these two sentences using the given formalization key.


UD: all people Dx: x went to Disneyland
Kxy: x knows y
j: John
m: Mary

Everyone who went to Disneyland knows someone who didnt go there.


There is someone who knows both Mary and John but doesnt know
him/herself.

5. Give an interpretation in which the first of these sentences is true and


the second false. It can be a formal interpretation, but does not need
to be.
(x)(P x Qx) (x)P x (x)Qx

6. Derive (x)P x from (x)( Qx P x) and (x)Qx

You might also like