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] |
