A.3. Truth tables

Tautology

T

Absurdity

F

Negation

φ¬φ
TF
FT

Conjunction

φψφψ
TT  T
TF  F
FT  F
FF  F

Disjunction

φψφψ
TT  T
TF  T
FT  T
FF  F

Conditional

φψφψ
TT  T
TF  F
FT  T
FF  T
Glen Helman 28 Aug 2008