For the sake of brevity, propositions will be denoted by the letters p, q, etc. We give a brief list of the other symbols which will be used.
Symbolic Logic Table
Symbol | How to be read | Symbolic expression | How to be read |
- | NOT or Negation | -p | Not p, negation of p |
\wedge | AND or Conjunction | p\wedge q | p and q |
\vee | OR or Disjunction | p\vee q | p or q |
\Rightarrow | If… then, implies or Implication or conditional | p\Rightarrow q | If p then q p implies q |
\Leftrightarrow | Is equivalent to, if and only if or Biconditional | p \Leftrightarrow q | p if and only if q p is equivalent to q |
