Implicational Propositional Calculus: Tableaux and Completeness
arXiv:1512.00091
Abstract
We discuss tableaux for the Implicational Propositional Calculus and show how they may be used to establish its completeness.
arXiv commentAdded two clarifications; transposed a couple of terms