The University of Alabama

Countermodel Checker

Enter an invalid sequent:
Premises (comma separated) Conclusion

User Anonymous at internet address 54.224.150.24 on Tue Oct 16 04:06:36 2018


Logic Primer
The Logic Quizmaster © Chris Menzel and Colin Allen ... please let us know of any bugs.
Special thanks to Amy Kind for problem sets and feedback.
Visit the LOGIC Daemon for more proof practice.