PHI 201: Introductory Logic

[Home] [Schedule] [Handouts] [Links]

Routledge logic website

Proof builder for Lemmon's logic @ Oxford Virtual Technology

Proof checker Just type your proof in verbatim, and click on "execute" to check it. Use "->" (a dash followed by an arrow) for the arrow; use "~" (tilde) for negation. 

Created and maintained by: H. Halvorson
Last modified: December 10, 2001