A.3. Truth tables
Tautology
⊤
T
Absurdity
⊥
F
Negation
φ
¬
φ
T
F
F
T
Conjunction
φ
ψ
φ
∧
ψ
T
T
T
T
F
F
F
T
F
F
F
F
Disjunction
φ
ψ
φ
∨
ψ
T
T
T
T
F
T
F
T
T
F
F
F
Conditional
φ
ψ
φ
→
ψ
T
T
T
T
F
F
F
T
T
F
F
T
Glen Helman
01 Aug 2004