New HW (due Dec. 7th)

From Lemmon: pg. 117 (2)(i)(f); pg. 128 (1)(a),(e); pg. 137 (1)(a);(2)(e)

Next HW

(Due the first class after Thanksgiving)
pg. 110 (1)(a), (1)(d), (2)(c), (2)(e)

Midterm

The midterm is scheduled for two weeks from today -- Nov. 2nd.

HW #3

The HW has two parts:
(A) Prove that ((P->(Q&~R))<->S) is a wff. Also indicate the scope of the sole occurrence of '&' and tell me what the main connective is.
(B) pg. 73 (1)(i)(a),(1)(i)(h), and (1)(i)(j)

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.