This document provides shortcuts and instructions for using a symbolization software. It lists keyboard shortcuts for directly entering logical symbols. These include shortcuts for conditionals, biconditionals, conjunctions, disjunctions, negation, quantifiers, and inequality. It also describes buttons for selecting questions, entering your own questions, directly entering answers, checking answers, saving work, deleting work, submitting answers, and printing. Additional general keyboard shortcuts are included. Instructions are provided for using a symbolization tree method to break down sentences into their logical components step-by-step.
This document provides shortcuts and instructions for using a symbolization software. It lists keyboard shortcuts for directly entering logical symbols. These include shortcuts for conditionals, biconditionals, conjunctions, disjunctions, negation, quantifiers, and inequality. It also describes buttons for selecting questions, entering your own questions, directly entering answers, checking answers, saving work, deleting work, submitting answers, and printing. Additional general keyboard shortcuts are included. Instructions are provided for using a symbolization tree method to break down sentences into their logical components step-by-step.
This document provides shortcuts and instructions for using a symbolization software. It lists keyboard shortcuts for directly entering logical symbols. These include shortcuts for conditionals, biconditionals, conjunctions, disjunctions, negation, quantifiers, and inequality. It also describes buttons for selecting questions, entering your own questions, directly entering answers, checking answers, saving work, deleting work, submitting answers, and printing. Additional general keyboard shortcuts are included. Instructions are provided for using a symbolization tree method to break down sentences into their logical components step-by-step.
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.