LPL_software_manual

If you want to delete a sentence boundary you must

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: ingle sentence. If you hold down the Option key, the up arrow takes you to the first sentence of the list, the down arrow takes you the last sentence of the list, and the left and right arrows take you to the beginning and the end of the current word. Holding down the command key while using the left and right arrow keys will move to the beginning or end of the current sentence. 3.3.5 Deleting sentences To delete a whole sentence and renumber the sentences that remain, choose Delete Sentence from the Sentence menu. First make sure the insertion point is somewhere in the sentence you want to delete. Note that you cannot highlight parts of two different sentences and then delete them. If you want to delete a sentence boundary, you must use the command Delete Sentence from the Sentence menu. 3.3.6 Typing symbols from the keyboard Sentences can be entered into the sentence window by typing them on the physical keyboard. When typing predicates in the blocks language, you must be sure to spell them correctly and to capitalize the first letter (since otherwise they will be interpreted as names, not predicates). You also have to insert your own punctuation: parentheses after the predicate, and commas to separate multiple “arguments” (as in Between(a, x, z)). To get the logical symbols use the keyboard equivalents shown in Table 3.1. 24 / LPL Software Manual Either the sentence window or the Keyboard window must be “active” before typing on the physical keyboard will have any effect. If you type and nothing shows up, that’s because the world panel is currently the active panel. To activate the other panel, just click in it somewhere. You can change the size of the font used to display sentences using the Text size submenu on the Sentence menu. 3.3.7 Cutting, copying, and pasting If you want to change the order of the sentences in a list, or copy a sentence from one file to another, use the cut, copy, and paste functions. If you highlight a string of symbols and then choose Cut or Copy from the Edit menu, the string of symbols is stored on the computer’s clipboard. The difference between the two commands is that Cut deletes the highlighted symbols from their present position, while Copy leaves them in place. You can’t see the contents of the clipboard, but the symbols will be there until you cut or copy something else to the clipboard. Once something is on the clipboard, it can be pasted anywhere you want it. Just put the insertion point at the desired place and choose Paste from the Edit menu. A copy of the string of symbols on the clipboard will be inserted. You can paste several copies at several different points, if you want to. You can copy sentences out of Tarski’s World and paste them into Fitch or Boole, and vice versa. 3.4 Verifying syntax and truth As you will learn, only some strings of symbols are grammatically correct, or well formed, as we say in logic. These expressions are usually called well-formed formulas, or wffs. And only some of these...
View Full Document

Ask a homework question - tutors are online