P111 Valid Reasoning
Professor: Craig DeLancey
Office: CC217
Email: delancey@oswego.edu
Current Assignments
I do not accept homeworks by email!
November 20
Read Chapter 3 of your book. You should have read
by now chapters 1 and 2.
November 30
Homework due. Eight problems, all of them syntactic
proofs (not semantic proofs -- that is, not truth
tables). These will require UI and some EG. Watch
parentheses! Remember that \/xFx ^ Gx is not the same
as \/x(Fx ^ Gx), for example.
- Premises: /\x(Gx v Hx), ~Hb.
Conclusion: Gb.
- Premises: /\x(Gx v Hx), ~Hb.
Conclusion: \/xGx.
- Premises: /\x(Fx --> Gx), Fa. Conclusion: Ga.
- Premises: /\x(Fx --> Gx), /\x(Gx --> Ix), Fc.
Conclusion: \/xIx.
- Premises: /\x(Fx --> Gx), /\x(Fx --> Ix), Fa.
Conclusion: \/x(Gx ^ Ix).
- Premises: /\xFx, /\y(Fy --> Gy), /\z(Gz --> Hz).
Conclusion: Ha.
- Premise(s): /\y((Fy ^ Gy) --> Hy), Fc, /\zGz.
Conclusion: Hc.
- Premise(s): (Ga ^ Ha), /\x(Gx --> Ix),
/\x(Hx --> Jx).
Conclusion: Vx(Ix ^ Jx).
Tentative/expected Assignments (subject to revision)
December 16
Final exam, in class, 10:30 a.m. - 12:30 p.m.