LPL_software_manual

# 412 the proof tool bar

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: . . . . . . . . . . 4.1.2 The proof tool bar . . . . . . . . . . 4.1.3 The sentence tool bar . . . . . . . . 4.1.4 The proof window . . . . . . . . . . 4.2 Creating and editing proofs . . . . . . . . . 4.2.1 Step numbers . . . . . . . . . . . . . 4.2.2 The current focus . . . . . . . . . . . 4.2.3 Moving the focus . . . . . . . . . . . 4.2.4 Adding new steps . . . . . . . . . . . 4.2.5 Entering sentences into steps . . . . 4.2.6 Deleting steps . . . . . . . . . . . . . 4.2.7 Specifying a step’s rule . . . . . . . . 4.2.8 Changing a step’s rule . . . . . . . . 4.2.9 Specifying a step’s supports . . . . . 4.2.10 Checking steps and verifying proofs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 19 19 20 20 20 21 21 21 22 22 22 23 23 24 24 25 26 26 27 27 28 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 30 30 32 32 33 33 34 34 34 35 35 36 36 37 37 38 Contents / vii 4.3 4.4 4.5 4.6 4.7 4.2.11 Rule Defaults . . . . . . . . . . . . . 4.2.12 Add Support Steps . . . . . . . . . . 4.2.13 Starting and ending subproofs . . . 4.2.14 Boxed constants in subproofs . . . . 4.2.15 Collapsing subproofs . . . . . . . . . 4.2.16 Deleting subproofs . . . . . . . . . . Goals . . . . . . . . . . . . . . . . . . . . . Copying and pasting . . . . . . . . . . . . . 4.4.1 Copying and pasting sentences . . . 4.4.2 Copying and pasting goal sentences . 4.4.3 Copying and pasting ranges of steps Printing proofs . . . . . . . . . . . . . . . . Setting up exercises . . . . . . . . . . . . . 4.6.1 Adding and deleting premises . . . . 4.6.2 Adding and deleting goals . . . . . . 4.6.3 Saving new problems . . . . . . . . . Preferences . . . . . . . . . . . . . . . . . . 5 Using Boole 5.1 Getting started . . . . . . . . . . . 5.1.1 The menus . . . . . . . . . 5.1.2 The tool bars . . . . . . . . 5.1.3 The assessment pane . . . . 5.1.4 The table pane . . . . . . . 5.1.5 Adjusting the table pane . 5.2 Writing and editing tables . . . . . 5.2.1 Entering target sentences . 5.2.2 Creating reference columns 5.2.3 Filling in truth values . . . 5.3 Specifying your assessment . . . . 5.4 Verifying your table . . . . . . . . 5.5 Saving or printing your table . . . 5.6 Preferences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 39 39 40 40 40 40 41 41 42 42 43 43 44 44 45 45 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 46 46 47 48 48 49 49 49 50 50 51 51 52 52 viii / LPL Software Manual Chapter 1 Introduction This manual contains instructions for the applications Submit, Tarski’s World, Fitch, and Boole. These four applications are de...
View Full Document

## This document was uploaded on 01/26/2014.

Ask a homework question - tutors are online