Definition:Extension of Propositional Tableau/Definition 2

From ProofWiki
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:

$S$ is an extension of $T$;
$\mathbf H = \mathbf H'$;
$\Phi'$ is an extension of $\Phi$.


Also see