For the sake of brevity, propositions will be denoted by the letters [katex]p, q[/katex], 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 |

[katex] -[/katex] | NOT or Negation | [katex] -p[/katex] | Not [katex]p[/katex], negation of [katex]p[/katex] |

[katex]\wedge[/katex] | AND or Conjunction | [katex]p\wedge q[/katex] | [katex]p[/katex] and [katex]q[/katex] |

[katex]\vee[/katex] | OR or Disjunction | [katex]p\vee q[/katex] | [katex]p[/katex] or [katex]q[/katex] |

[katex]\Rightarrow[/katex] | Ifâ€¦ then, implies or Implication or conditional | [katex]p\Rightarrow q[/katex] | If [katex]p[/katex] then [katex]q[/katex] [katex]p[/katex] implies [katex]q[/katex] |

[katex]\Leftrightarrow[/katex] | Is equivalent to, if and only if or Biconditional | [katex]p \Leftrightarrow q[/katex] | [katex]p[/katex] if and only if [katex]q[/katex] [katex]p[/katex] is equivalent to [katex]q[/katex] |