Symbolic Logic Operators

This is just like computer science! Operators (~) Negation operator (&) (And) Conjunct operator (v) Disjunct operator (->) (if then) Conditional operator (<->) (if and only if) Biconditional operator