This preview shows page 1. Sign up to view the full content.
Unformatted text preview: is illformed, the number is red; when it is well-formed, it turns green.
If you are constructing a joint truth table for two or more sentences, you will need to choose Add Column After or Add Column Before from the Table menu to add a new target sentence
to your table.
Another way to enter sentences is by copying them from Tarski’s
World or Fitch and pasting them into the appropriate place in
Boole. 50 / LPL Software Manual 5.2.2 Creating reference columns There are two ways to create reference columns: you can do it
by hand or you can have Boole do the work for you. You should
always do the work yourself unless the exercise or your instructor
gives you permission to let Boole build the reference columns for
To enter a reference sentence, click at the top of the ﬁrst column to the left of the thick dividing line. Then enter the desired atomic sentence. (Boole will allow you to enter any formula
in a reference column. The number above the sentence will be
red if the sentence is ill formed and blue if it is not atomic.) To
add additional reference sentences, choose Add Column After
or Add Column Before from the Table menu, and enter the
If you want Boole to build the reference columns for you, click
on the button Build Ref Cols on the tool bar. This will generate
the necessary reference columns for the target sentences currently
appearing on the right. If Boole generates the reference columns,
they will be numbered =1=, =2=, . . . ; if you build them, they will
be numbered (1), (2), . . . . 5.2.3 Filling in truth values To ﬁll in truth values in your table, click in the desired column
and type T or F. (You can also type “1” for T and either “0” or
“2” for F, if you ﬁnd this more convenient.) After the letter is
entered, the insertion point will move down one row in the same
column. If you are working in a column on the right side of the
table, Boole will highlight the values elsewhere in the table that
the current value depends on. In other words, Boole implements
the “two ﬁnger” method described in the textbook.
Boole will also ﬁll in truth values in the reference columns of
a table automatically, should you so desire. Only do this if the
exercise or your instructor says that you can. (The Grade Grinder
will complain if you do this without permission.) To ﬁll them in
automatically, select the Fill Reference Columns item from the
In its default mode, Boole will ﬁll in values column by column.
That is, when you type a T or F, the insertion point will move Using Boole / 51 down one row so that you can ﬁll in the next value in the column.
If you prefer ﬁlling in your table row by row, choose By Row in
the Edit menu. In Row mode, Boole will move the insertion point
to the next column after you type a truth value. 5.3 Specifying your assessment Typically you will be asked to use truth tables to determine whether
a sentence is a tautology, whether two sentences are tautologically
equivalent, or whether a sentence is a tautological consequence of...
View Full Document
This document was uploaded on 01/26/2014.
- Winter '14