Disjunction (First-Order Tableaux)

first-order-logic tableaux

Definition

Definition

Disjunction (Propositional Tableaux)

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

Link to original