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 |