Next:
Symbolisation I
Up:
Week 4: Quantifiers etc.
Previous:
Week 4: Quantifiers etc.
Propositional tableaux again
Test by means of formal tableaux whether the following syntactic sequents are correct:
P
[
Q
[
P
Q
]]
[
P
Q
],[
P
R
],
[
P
[
Q
R
]]
[[[
P
Q
]
[
P
R
]]
[
P
[
Q
R
]]]
Sandy Berkovski