- Prover Prover
is a Java applet that will display a proof of a zeroth
order logic statement, such as pV!p or (p&q)->p.
- If a statement that is not true is entered, it will prove
that the statement is not true. Some examples are
(pVq)->p or !(TVp).
- Old browsers cannot view this program, but it does work
with Netscape Communicator 4.5.
This page is maintained by Larry Schweitzer.lsch@svpal.org. Created:
11/04/1998. Last Updated: 11/28/2010.