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.