# Basic Logic Tables

Definitions:

$\vee \quad Or\\ \\ \wedge \quad And\\ \\ \neg \quad Not\\ \\ \forall \quad For\quad All\\ \\ \exists \quad There\quad exists\\ \\ \Rightarrow \quad Implies$

LOGICAL POSSIBILITIES:

 TRUE (T) FALSE (F) TRUE (T) T, T T, F FALSE (F) F, T F, F

“OR” TRUTH TABLE:

 $a$ $b$ $a\vee b$ T T T T F T F T T F F F

“AND” TRUTH TABLE

 $a$ $b$ $a\wedge b$ T T T T F F F T F F F F

“NOT” TRUTH TABLE

 $a$ $\neg a$ T F F T

“IMPLIES” TRUTH TABLE

 $a$ $b$ $a\Rightarrow b$ T T T T F F F T T F F T