Definition:Extension of Propositional Tableau/Definition 2
Jump to navigation
Jump to search
Definition
Let $\left({T, \mathbf H, \Phi}\right)$ be a propositional tableau.
An extension of $T$ is a propositional tableau $\left({S, \mathbf H', \Phi'}\right)$ such that: