phil170-prop_logic_translation.pdf