This preview shows page 1. Sign up to view the full content.
Unformatted text preview: ingle sentence.
If you hold down the Option key, the up arrow takes you to the
ﬁrst 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 diﬀerent 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 ﬁrst 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 ﬁle to another, use the cut, copy, and paste
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 diﬀerence 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 diﬀerent 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 wﬀs. And only some of
View Full Document
- Winter '14