stegeman

7/27/26

Introductory video to the games

7/26/26

7/23/26

7/20/26

7/29/26

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

7/30/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.

7/27/26

Try some simple proofs for yourself using this

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

7/30/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'), ¬ (looks like the top right corner of a box)

'and': ∙ (bullet operator) . (just a period), &, ∧

'or': ∨ (vel)

'exclusive or': ⊕