Brief List of Logical Symbols

In propositional logic, these are some of the more common symbols for basic arguments:

~ p "not P" 

p • q "P and Q"

p ∨ q "P or Q"

p ⊃ q "if P then Q"  

p ≡ q "Q if and only if P"

◊p "possibly P"

☐p "necessarily P"