Truth Table Pages Page 1 of 1

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 Sub Second Sub Keyboard Comment
Heading Headings Headings Shortcut
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 The notation letters are entered
Individuals from the keyboard. Pressing a
yields a
Redo Only appears on second page of
Expansion Exercise 8.5 Returns to first page.

mk:@MSITStore:C:\Program%20Files%20(x86)\LogicCoach%2010\LC10_help.chm... 05/02/2019