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

p q p ⊃ q 1 1 1 1 0 0 0 1 1 0 0 1  & ampersand
 p & is true iff both p and q are true

p q p & q 1 1 1 1 0 0 0 1 0 0 0 0  ∨ wedge
 p ∨ is true iff at least one of p, q are true

p q p ∨ q 1 1 1 1 0 1 0 1 1 0 0 0  ≡ tribar
 p ≡ is true iff p and q have the same truth values

p q p ≡ q 1 1 1 1 0 0 0 1 0 0 0 1  !≡ slashed tribar*
 p !≡ is true iff p and q have opposite truth values

p q p !≡ q 1 1 0 1 0 1 0 1 1 0 0 0  *no html entity equivalent
 ~ tilda
 not p

p ~p 1 0 0 1  Converse
 The converse of the conditional is found by swapping the antecedent and the consequent

Original: If John has ten dollars then John has some money.
Converse: If John has some money then John has ten dollars.  Contradictory
 p is contradictory to q iff p has the opposite truth value to q in all possible worlds

p q p & q ~p ∨ ~ q 1 1 1 0 1 0 0 1 0 1 0 1 0 0 0 1
Content found within Wikipedia and the out of print book Deductive Logic by Terry Halpin