logic Logic Symbols Logic symbols from Deductive Logic by Terry Halpin ⊃ hook implies if ... then p ⊃ q is false iff p is true and q is false pqp ⊃ q 111 100 011 001