Tag Archives: logic

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