Symbolic Logic

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

SymbolHow to be readSymbolic expressionHow 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]
Symbolic Logic

Leave a Reply

Your email address will not be published. Required fields are marked *