Next:
Entailment again
Up:
Week 3: Propositional calculus
Previous:
Entailment
Truth-tables
Draw truth-tables for the formulae below (you may omit any verbal explanation):
(
P
Q
)
((
P
Q
)
Q
)
(
P
((
Q
Q
)
P
))
Sandy Berkovski