Rule of Conjunction/Proof Rule/Tableau Form

From ProofWiki
Jump to navigation Jump to search

Proof Rule

Let $\phi$ and $\psi$ be two propositional formulas in a tableau proof.

The Rule of Conjunction is invoked for $\phi$ and $\psi$ in the following manner:

Pool:    The pooled assumptions of each of $\phi$ and $\psi$             
Formula:    $\phi \land \psi$             
Description:    Rule of Conjunction             
Depends on:    Both of the lines containing $\phi$ and $\psi$             
Abbreviation:    $\operatorname {Conj}$ or $\land \mathcal I$             


Also denoted as

Sources which refer to this rule as the rule of adjunction may as a consequence give the abbreviation $\operatorname {Adj}$.


Sources