This preview shows page 1. Sign up to view the full content.
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 ﬁnally 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
46 Using Boole / 47 Figure 5.1: Main Boole window.
◦ Window: This menu gives you access to various Boole ﬁles
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 ﬁlls 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 ﬁlling in the reference columns is
another crucial skill to master in building truth tables.
◦ The remaining button veriﬁes the correctness of your table
by ﬁrst checking whether the rows of the...
View Full Document
This document was uploaded on 01/26/2014.
- Winter '14