Symbolic Logic

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$