Disjunction (Propositional Tableaux)

tableaux

Definition

Disjunction (Propositional Tableaux)

$$\frac{t:(A\vee B)}{t:A\mid t:B}\frac{f:(A\vee B)}{f:Af:B}$$