LPL_software_manual

514 the table pane the large mostly white area is

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: table are correctly filled in, then that all of the required rows are present (and there are no extra rows), and finally 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 fields 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 filling 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

Ask a homework question - tutors are online