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)

## 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