This preview shows page 1. Sign up to view the full content.
Unformatted text preview: table are correctly
ﬁlled in, then that all of the required rows are present (and
there are no extra rows), and ﬁnally checks to see whether
your assessment is correct. You can also check the table using
the Verify menu item from the Table menu.
Immediately below this toolbar is the sentence toolbar containing logical symbols and predicates. It is just like the sentence tool
bar in Tarski’s World and Fitch. Clicking on a button enter the
corresponding symbol or predicate, if the insertion point is located
in one of the sentence ﬁelds at the top of your table. 5.1.3 The assessment pane The assessment pane is similar to the goal pane in Fitch. This is
where you look to see whether your truth table is correctly constructed. It also contains a button that allows you to assess the
target sentence or sentences in your table. When you click the
Assessment button, you are presented with a list of possible assessments. For example, if you are asked to determine whether a
sentence is a tautology, you can specify whether or not it is. If
you are asked to determine whether a sentence is a tautological
consequence of other sentences, you can specify this here as well. 5.1.4 The table pane The large, mostly white area is where you construct truth tables.
A thin horizontal line divides the headings of the columns from
the truth value columns. A thick vertical line divides the reference
columns from the body of the table. When the insertion point is in Using Boole / 49 the heading area, you can enter target sentences on the right or reference sentences on the left. New sentence columns are added using the commands Add Column After or Add Column Before
from the Table menu. Once sentences are entered, truth values
can be entered in the appropriate places under those sentences. 5.1.5 Adjusting the table pane The table pane is divided into two parts: the reference columns on
the left and the target columns on the right. These are separated by
a vertical divider. Often when you open or construct a table, you
will not be able to see all of the columns on one or the other side.
You can adjust the overall size of your window in the usual way,
and you can also change the position of the divider by grabbing it
and dragging to the left or right. 5.2 Writing and editing tables There are three steps in creating a truth table: specifying the
target sentence (or sentences), building the reference columns, and
ﬁlling in the truth values. Once a table is complete, it can be used
to assess the logical properties of the target sentences. 5.2.1 Entering target sentences To enter a target sentence, the insertion point must be blinking in
the upper right section of the table. If it is not, click in this area to
place the insertion point where you want it. Then enter the desired
sentence using the tool bar or keyboard. To type the logical symbols from the keyboard, refer to the table of keyboard equivalents
on page 23. Notice that as you enter the sentence, the sentence
number above the sentence changes color. If the sentence...
View Full Document
- Winter '14