stegeman

7/9/26

You can try some of the testing

The PLI rules have been tested and should be working.

If you can see this, your browser does not understand IFRAME.

The PME rules also should be working, but they have not been fully tested yet.

6/25/26

Try some simple proofs for yourself using this

If you can see this, your browser does not understand IFRAME.

6/25/26

The intellectual backdrop here is Steven A. Stegeman's book  The Return of Rationality: A Closed System of Propositional Logic: Stegeman, Steven A.: 9798993350851: Amazon.com: Books

There will be the need to write logical symbols. Here are the ones in use.

'not' : ∼ (the 'tilde')

'and': . (just a period)

'or': ∨ (vel not upper case 'V' or lower case 'v')

'exclusive or': ⊕

'implication': ⊃

'equivalence': ≡