Question 1
In a truth table for ~ (E ∙ ~G) ⊃ (G v ~ E), which column goes under the main connective in the subformula
~ (E ∙ ~G)?
◦ TFTT
◦ TT
◦ FFFFTTTT
◦ TFFF
Question 2
In a truth table for ~ (E ∙ ~G) ⊃ (G v ~E), under which symbol does the box with the final result go?
◦ the horseshoe
◦ the dot
◦ the tilde outside the parentheses