| Logician's Toolkit Instructions |
|
Each page opens in a separate browser window. How to check for syntax errors. How to construct truth tables. How to test for consistency. How to construct derivations. Note: The Logician's Toolkit utilities are written in Java, so the colours and buttons in the illustrations may not look the same on your screen. |