4 question for the philosophy

Showing an expression is a formula with a tree in Symbolyzer Logic lab assignment

Go to www.symbolyzer.info. Click the ≡ link to the left of ‘Welcome to Symbolyzer’, and then click the ‘Tree’ link. This will take you to the part of the application where you can show that an expression is a formula with a tree.

Construct a tree for formulas 1- 8 below. Instructions for how this can be done in Symbolyzer are given below on the next page. You have not constructed a tree for a formula until nothing is red. After you done this for a single formula, save it as a pdf by: choosing print under the ‘File’ menu, clicking on ‘PDF’ in the lower right corner of the window that appears, and then choosing ‘Save as PDF.’

When you ready to upload your work to blackboard, attach ALL the pdf files you have saved to the ‘Tree building on Symbolyzer’ link. Then hit submit. (If you hit submit before attaching all the files you have saved, you will not be able to submit what you have not attached.)

Formula 1: ~~~A

Formula 2: ~(~A → B)

Formula3: ((A∧B) → C)

Formula 4: ~(C ∨ (A →~K))

Formula5: (~C → (~A→B))

Formula 6: (B → (~A ↔ B))

Formula 7: ((B → A) ∧ (C∨A))

Formula8: (~(A→B) → (C→~A))

Extra-credit formula: ((~(A→B) ∧ (~C↔D)) ∨ ~(~(E→F)→G))

Symbolyzer instructions

To remove the ALL expressions on the screen: hit the red trash button.

To add something to the screen: hit the green + button. A red circle will appear. Type what you want to appear in the circle on the ‘Expression’ line. Type your justification for the expression in the ‘By Fr()’ line.

To connect parts by arrows: highlight one part with the mouse and holding the mouse button down drag an arrow to the other part.

To remove a single part: highlight the part and hit the yellow trash button.

Symbol key

For → type > For ↔ type <> For ∧ type ^ For ∨ type +