Truth Table Pages
Exercises 6.2 - 6.5
Exercise 8.5
The table is arranged in rows and columns. The intersection of a row and a column is a cell. Click on the table to change or mark an empty cell. On some tables, the entire row appears in blue except for the active cell. It appears in white. If a row is in blue and no cell is in white, then the active cell is off-screen. Use the scroll bars to bring it on-screen.
There are several additional menu headings:
|
Main Heading |
Sub Headings |
Second Sub Headings |
Keyboard Shortcut |
Comment |
|
Options |
Only appears in Exercises 6.2 & 6.5 |
|||
|
|
First Click |
|||
|
|
|
T |
<Ctl>+T |
The first time a cell is clicked, it is marked T (default). |
|
|
|
F |
<Ctl>+F |
The first time a cell is clicked, it is marked F |
|
|
Mark |
|
F6 |
Only appears in Exercise 6.5 |
|
|
Cases |
|
F8 |
Only appears in Exercise 6.5 |
|
|
|
|
||
|
|
|
|
Only appears in Exercise 8.5 |
|
|
|
... Instantiate |
|
The notation letters instantiate the bound variable. For (x)(Fx⊃Gx), pressing a yields (Fa⊃Ga) |
|
|
...are Individuals |
|
The notation letters are entered from the keyboard. Pressing a yields a |
||
|
Redo Expansion |
|
Only appears on second page of Exercise 8.5 Returns to first page. |