Edit this is the customary edit menu allowing you to

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: tences that you prefer. You can specify a font size, and whether Fitch 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. Chapter 5 Using Boole Boole is an application that makes it easy to construct truth tables. We begin with instructions on how to start and stop Boole, and explain the basic layout of the screen. 5.1 Getting started The Boole application is contained inside the folder called Boole Folder. When Boole is running, you will see (from top to bottom) the menu bar, the “table tool bar”, the “sentence tool bar”, ’a narrow pink “assessment pane,” and finally a large, mostly blank area for constructing truth tables, called the “table pane.” Here are the basic facts to remember about each of these. 5.1.1 The menus Boole has the following menus: ◦ File: This menu lets you start new truth tables, open existing tables, save tables, and print tables. ◦ Edit: This is the customary edit menu allowing you to cut, copy and paste items in truth tables. ◦ Table: This menu contains commands for adding new columns, for verifying your table, and for generating reference columns automatically. 46 Using Boole / 47 Figure 5.1: Main Boole window. ◦ Window: This menu gives you access to various Boole files you have open. ◦ Help: This menu allows you to get help on using the application, and also to check whether updates are available. 5.1.2 The tool bars At the very top of the window is the table tool bar which is very like those in the corresponding places in Fitch and Tarski’s World. There are buttons here for changing the size and format of the sentences to be displayed in the truth tables, as well as three buttons for checking and making edits to the table. ◦ Build Reference Columns: This shows a collection of columns and a bidirectional arrow. This button can be used after you have entered one or more target sentences on the right side of your table. If you choose this button, Boole will automatically create all of the reference columns needed for your table. You should use this feature only if the exercise says that you can, since otherwise the Grade Grinder will complain that you did not create your own reference columns. 48 / LPL Software Manual Learning how to create reference columns is part of what you must master when learning to build truth tables. ◦ Fill Reference Columns: This button fills in the truth values under the reference columns for you. It shows a collection of truth values and a downward pointing arrow. Like the preceding button, you should only use this if the exercise says that you can, since filling in the reference columns is another crucial skill to master in building truth tables. ◦ The remaining button verifies the correctness of your table by first checking whether the rows of the...
View Full Document

This document was uploaded on 01/26/2014.

Ask a homework question - tutors are online