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
BackNext