Proof Pages

Exercise 6.6

Exercise 6.6 asks just for the form of the argument. Click on the down arrow to drop the list and then on the form of the exercise argument. Do not forget to press <Ctl>+A

Exercises 7.1 - 7.7

Exercises 8.2 - 8.4 and Parts II and III of Exercises 8.6 - 8.7

An argument consists of three parts: The premises and conclusion; The steps; and The citations. In Parts I and II of exercises 7.1 - 7.4, you are given some of each and asked for the others. In all other exercises, you are given the first and asked for the other two.

If a part appears on a yellow background, it can be copied but cannot be edited. If it appears on a white background, it can be copied and edited.

For reference, a list of rules appears in the upper right corner. Double click on a rule to move its name to the citation field. A tool box appears on the left. Press a key to move its symbol to the step field. The fields can be resized by dragging the solid bar that separates them.

Another way to quickly fill in the step field is to use the insert list.

At the end of a step, press <Tab> to move to the citation field. At the end of a citation, press <Tab> to move back. <Enter> moves to the next step line. As in the text, each step begins with a numeral. The program will try to guess the next number and enter it for you. You can over ride its guesses be erasing them and writing your own. (The numeral is preceded by a scope bar if one is required.)

Error messages are very specific. Some invite you to seek additional error details. For these, on-screen instructions are very specific. If you change your mind during these, be sure to clear your previous error message response before proceeding.

There is one additional menu heading:

Main Heading	Sub Headings	Keyboard Shortcut	Comment
Options
	Refresh	F5	In Parts I and II of 7.1 - 7.4, rebuilds the blank lines. This is helpful if you have so modified the data that you no longer remember what you are to do!
	Copy	<Ctl>+<Ins>	Highlight an argument part on one line and use this choice to copy it to a notepad.
	Delete	<Del>	Highlight an argument part on one line (on a white background) and use this choice to delete it. (A copy will be placed in the notepad.)
	Paste	<Shift>+<Ins>	A copy of what is in the notepad will be inserted at the cursor (if it comes from a relevant part of the argument)..
	Find	<Ctl>+F	Locate a nonlogic symbol.
	Next Location	F3	Repeat last search.
	Replace	<Ctl>+R	Replace one letter with another. This is very helpful in Chapter 8 when generalizing and instantiating.
	Insert a Line		Where two lines are numbered consecutively and a third is needed between them. The second of the two and subsequent consecutive lines have their number increased by one.
	Number Consecutively	<Ctl>+U	Closes numbering gaps. The program will accept proofs with such gaps.
	Format Steps	<Ctl>+S	Aesthetically arranges the listing.
	Modify Rule Set		Allows you to use rules from a more advanced exercise set.