Symbolization on Logic 2010: Quick Help Guide

Buttons and Keystrokes

Symbol Shortcuts (for direct entry of answers and when using tree method):

Ctrl + Shift + C Conditional

Ctrl + Shift + B Biconditional

Ctrl + Shift + A And

Ctrl + Shift + O Or

Ctrl + Shift + N ~ Negation (also in upper left corner of keyboard!)

Ctrl + Shift + E Existential quantifier

Ctrl + Shift + U Universal quantifier

Ctrl + Shift + I Inequality

Select: lets you choose a question to work on. (ctrl + n: next question)

User: lets you enter your own question.

Direct: lets you enter the answer directly. It will open up a direct entry box for that.

Check: (ctrl + k) check if your answer is correct, incorrect or incomplete. NOTE: the same

evaluation remains on the top of the box until you press check again (even if you have put in a new answer!)

Save: (ctrl + s) saves your work on your computer. Backup when quitting to save on internet!

Delete: lets you delete the work on a question (or a user question).

If you right click you can delete the work on multiple questions.

Submit: submits your answers (necessary to receive credit for assignment questions!)

You can submit answers to multiple questions (click with shift or control)

Print: (ctrl + p) lets you print your work or, if you press print results it will just print the question marked C (correct) or I (incorrect). You can print multiple questions at once (click with shift or

control.)

Menu: brings up the main menu.

Close: closes the module box. Make sure you close all boxes before you exit!

NOTE: if you are using a Mac and these shortcuts

dont work, try using command/apple instead of ctrl. To right click, press control and click.

Other Shortcuts:

Ctrl + A Highlight whole text box

Ctrl + C Copy the highlighted material (or Ctrl + Insert)

Ctrl + X Copy and delete the highlighted material (or Shift + Delete)

Ctrl + V Paste the copied material at the cursor location (or Shift + Insert)

Ctrl + Z Undo the most recent paste or delete

Alt + Enter Wrap Edit field at the insertion point

USING THE SYMBOLIZATION TREE METHOD

Now move the cursor into one of the new yellow text boxes and repeat (right click or enter to get

dropdown list; choose the logical structure of the sentence or sentential component).

You can also use the shortcuts for symbols (above) when using the symbolization tree.

Continue until you are down to the atomic sentences. Now select Atomic from the dropdown menu and

fill in the symbolic formula in the pop-up window (Atomic Expression) that should appear.

IMPORTANT NOTE: Never type directly into the little yellow text boxes that appear on the symbolization

tree. Atomic formulas MUST be entered through the Atomic Expression pop-up window; they will not be

recognized if entered directly into a text box.

Using the Symbolization Tree Method: Start by putting

cursor in the text box that has the sentence.

Right click Dropdown list appears

Enter Dropdown list appears

Now, from the dropdown list, choose the primary logical

structure (i.e. what the main logical connective would be)

of the English sentence.