LPL_software_manual

# If you want boole to build the reference columns for

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

This is the end of the preview. Sign up to access the rest of the document.

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 you. 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 sentence. 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 Table menu. 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.

Ask a homework question - tutors are online