HW #2

pg. 27 (1)(h),
pg. 41 (1)(f),
Also prove the following sequents are valid:
(PV(Q&R)) |- ((PVQ)&(PVR))
(P&Q) |- ~(P->~Q)
Extra Credit (Hard!):
Prove that PVQ,~P |- Q is valid without copying the proof
from Lemmon.

HW Assignment #1 (due Thursday the 22nd)

pg. 18: (1)(h), (1)(n); (2)(a), (2)(b), (2)(c)
pg 27: (1)(a), (1)(c), (1)(g)

Syllabus

Welcome to Phil 3200!

The syllabus is available here.