Name: Richard Gavan
Date: Tuesday, 2/8/11 3:05 PM
Page 1 o…
TA: null
Instructor: null
Class: Philosophy 183/283G
?
blank line
37 DD
27 2 CB
∼
(P
∧
Q)
⟷∼
P
∨∼
Q
29 CD
33 34 ID
30 SR
Q
32 28 MTP
∼
Q
31 DN
∼∼
P
30 SL
P
ASS ID
P
∧
Q
?
uniform derivation
"show cons"
∼
(P
∧
Q)
Show
ASS CD
∼
P
∨∼
Q
?
uniform derivation
"show cond"
∼
P
∨∼
Q
⟶∼
(P
∧
Q)
Show
4 CD
24 DD
6 ADDR/~Q
∼
P
∨∼
Q
16 6 ADJ
∼
P
∧∼
Q
20 21 ID
19 ADDR/~Q
∼
P
∨∼
Q
5 R
∼
(
∼
P
∨∼
Q)
6 R
∼
P
3 R
∼
(P
∧
Q)
ASS ID
Q
?
uniform derivation
∼
Q
Show
13 14 ID
5 R
∼
(
∼
P
∨∼
Q)
8 ADDL/~P
∼
P
∨∼
Q
10 11 ID
This is the end of the preview. Sign up
to
access the rest of the document.
This note was uploaded on 02/14/2011 for the course PHIL 183 taught by Professor Anderson during the Spring '08 term at UCSB.
 Spring '08
 anderson
 Philosophy

Click to edit the document details