LPL_software_manual

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: others. Thus after you have constructed your truth table, you will need to specify the relevant assessment of the sentence or sentences in your table. To do this, click on the Assessment button in Boole’s assessment pane. This will open a window allowing you to specify your assessment. 5.4 Verifying your table There is a single command for verifying your table. This is available both from the Table menu and on the tool bar. Verifying the table involves three steps. 1. First, each of the rows is checked. If all of the references columns are present and the values filled in under the target sentence are correct, a checkmark will appear to the left of the row on the target side of the table. 2. Next the correctness and completeness of your entire table is checked. Boole checks whether the table has exactly the required rows that it needs. If a row is missing, or if there are extra rows, then this check will fail, otherwise a checkmark will appear adjacent to the sentence in the target sentence area. 3. Finally Boole checks to see whether your assessment is correct. Before it can do this, you must specify an assessment, as described above. The checkmark for this will appear in the assessment area. 52 / LPL Software Manual Figure 5.2: Boole Preferences Dialog 5.5 Saving or printing your table To save your table, choose Save or Save As. . . from the File menu. If you are submitting a table to the Grade Grinder, you should name it Table n.m, where n.m is the number of the exercise. To print a table, choose Print from the File menu. When you do this, you will be given the standard print dialog box. Once you have chosen any printer options you want to use, click on the Print button in the dialog box. 5.6 Preferences Some aspects of the behavior of Boole can be controlled using the preferences dialog. This can be accessed by choosing the Preferences... command from the application menu (Edit Menu on Windows). The preferences dialog is shown in figure 5.2. The preferences allow you to control the style of text for sentences that you prefer. You can specify a font size, and whether Boole should use italic or bold font for displaying formulae. There is a global preference which controls whether all of the applications check for updates when they are launched. If this box is checked, the application will determine if an update is available, and ask if you want to download and install it. Index Add Build Reference Columns Boole, 47 Boole Column After, 49 Column Before, 49 Fitch goal, 44 Premise, 44 Step After, 35 Step Before, 35 Submit files to list, 8 Tarski blocks, 18 Sentence After, 22 Sentence Before, 22 adjusting table pane Boole, 49 arrow keys Fitch, 35 Tarski, 22 assessment Boole button, 48 pane, 48 asterisk Fitch, 38 author mode Fitch, 43 check mark Fitch, 38 Check Step Fitch, 38 Choose File Submit, 8 Choose Files to Submit Submit, 7–8 Closing tabs Tarski, 17 Con menu Fitch, 36 constant box Fitch, 34 Copy Boole, 46 Fitch goals, 42 sentences, 41–42 steps, 42–43 Tarski, 20, 24 current focus Fitch, 34 Cut Fitch sentences, 41 steps, 42 Tarski, 20, 24 Book ID Submit, 1, 6, 7, 10 53 54 / LPL Software Manual Delete Fitch goal, 44 premise, 44 Step, 36, 40 Tarski blocks, 19 Sentence, 23 Done Submit, 8 Edit Tarski, 20, 24 Elim menu Fitch, 36 Ending Tarski game, 27 Fill Reference Columns Boole, 48 Fitch bar Fitch, 33 focus Fitch current, 34 moving, 34 slider, 33 Game Tarski, 25 backing up, 26 giving up, 26 playing, 25 GG Status Submit, 10 goal Fitch, 32 adding, 44 bullet, 34 deleting, 44 strip, 33 Grade Grinder, 1, 5–10 Hide Fitch Goal Strip, 33, 41 Tarski Labels, 20 home page, LPL, 3 Induction menu Fitch, 36 installing the applications, 3 Instructor Too Submit, 9 Intro menu Fitch, 36 Just Me Submit, 9 launching Boole, 46 Fitch, 30 Submit, 7 Tarski, 14 Lemma menu Fitch, 36 LPL home page, 3 menus Boole, 46 Fitch, 30 mode Fitch author, 43 user, 43 moving blocks Tarski, 18 Naming blocks Using Boole / 55 Tarski, 19 Open Fitch, 30 Submit, 8 Tarski, 15 Paste Boole, 46 Fitch goals, 42 sentences, 41–42 steps, 42–43 Tarski, 20, 24 premise Fitch adding, 44 deleting, 44 Print Boole, 52 Fitch, 43 Tarski Sentences, 17 World, 17 Proceed Submit, 9 proof Fitch creating, 33–41 editing, 33–41 line, 33 verifying, 38 window, 33 question mark Fitch, 38 Quitting Tarski application, 17 Reit Fitch, 36 reverting a file Tarski, 17 Rotating Worlds Tarski, 21 rule Fitch Add Support Steps, 39 changing, 37 defaults, 39 keyboard equivalents, 37 popup menu, 33, 34 specifying, 36–37 Save Boole, 52 Fitch, 30 as problem, 44, 45 Tarski, 16 Selecting blocks Tarski, 18 Sentence Tarski panel, 14 sentence toolbar Tarski, 15 shaping blocks Tarski, 19 Shift-Return Tarski, 22 Show Fitch Goal Strip, 33, 40 Step Numbers, 34 Tarski Labels, 20 sizing blocks Tarski, 19 solution files Submit, 5 56 / LPL Software Manual starting Boole, 46 Fitch, 30 Submit, 7 Tarski, 14 Status Line Fitch, 33 step Fitch bullet, 34 checking, 38 numbers, 34 submitting files Submit, 7, 9 subproof Fitch as support, 38 boxed constants, 34, 40 collapsing, 40 copying, 42 cutting, 42 deleting, 40 deleting assumption step, 36 ending, 32, 39–40 starting, 32, 39–40 support Fitch specifying, 37–38 table pane Boole, 48 tool bar Boole, 47, 49 Fitch, 32, 35, 36 TW Exercise Files Tarski, 15 user data Submit, 10 user mode Fitch, 43 Verify Boole, 48 assessment, 51 rows, 51 table, 51 Fitch proof, 38, 41 Tarski all, 25 all sentences, 25 vertical divider Boole, 49 View Tarski 2-D, 20 3-D, 20 Window menu Fitch, 32 world panel Tarski, 14 writing wffs Boole using keyboard, 49 using tool bar, 49 Fitch using keyboard, 35 using tool bar, 35 Tarski, 21–22 WWW, 3...
View Full Document

This document was uploaded on 01/26/2014.

Ask a homework question - tutors are online