ITL
© 1996-2015







2 Examples Propositional Logic

Example 1

tru e
p
tru e ∧ p
false ∨ p
false ⊃ p
p ≡ (p ∧ r)

_____________________________________________________________________