Tutorial Contents Tutorial Three: Propositional Calculus: Tableaux - The Sentence Tableaux Rules - Testing Arguments for Validity - Sequents - Syntactic Sequents - Semantic Sequents - Soundness and Completeness - Correctness of Sequents and Validity of Arguments
More Tutorials

Exercise 3.1



Which of the following sequents is correct? Where the sequent is incorrect, give a counterexample.
[PQ] |= [PQ]
[PQ] |= [PQ]
[PQ] |= [PQ]
[PQ], [RQ] |= [[PR]Q]
[[PQ] [RQ]] |= [[PR]Q]
|= [[PQ][PQ]]
|= [[PQ][QP]]
[PP] |= Q
Q |= [PP]



Print this page Print this page
Back Next