Next:
Symbolisation
Up:
Week 3: Propositional calculus
Previous:
Truth-tables
Entailment again
Use truth-tables to determine whether the following inferences are correct:
((
P
Q
)
R
)
(
P
Q
)
((
P
P
)
Q
)
Q
((
P
Q
)
P
)
(
P
P
)
Sandy Berkovski