Phi 270
Fall 2013
site index
(
Site navigation is not working.
)
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 2013