[ Visit the Logic QuizMaster ]

Enter sequent you will attempt to prove
Premises (comma separated)		Conclusion
	\|-

Enter your proof below then

[ Clear Proof ]

The normal response time of the program should be considerably less than one minute (1-2 seconds is normal from sites on the A&M campus), but this may vary if the network is especially heavily loaded.

The LOGIC DAEMON

This program was made possible by financial assistance from the Center for Teaching Excellence, a grant from the Electronic Learning Incentives Program, and technical support from Computing and Information Services, all at Texas A&M University. (Special thanks to John McClain and Philip Kizer of CIS.) Programming by Colin Allen, Song Chen, and Ryan Villalpando.

[HELP INDEX] [HIDE FRAMES] [SHOW FRAMES]