Examples for the PL Prover

Related Pages

Open the Theorem Prover in this window...

The following examples from Benson Mates' book "Elementary Logic" are part of the test suite for my theorem prover. If you want to try them out for yourself, please copy and paste them to the input area of the prover. Note that some of these examples need Mates' algorithm for deriving and may require a sufficient amount of time.

2012-03-31 01:19:53