Monday, August 5, 2013

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"


No comments:

Post a Comment