logic

Logic symbols from Deductive Logic by Terry Halpin ⊃ hook implies if ... then p ⊃ q is false iff p is true and q is false »