phil170-prop_logic_translation-answers.pdf