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

The sentence tableaux rules


Here in tabular form, is a summary of the derivation rules:

(Note that it is not necessary to put in the vertical line when drawing a tableau.)


Any branch containing "φ" and "φ" closes.


Print this page Print this page