Implication (First-Order Tableaux)

first-order-logic tableaux

Definition

Definition

Implication (Propositional Tableaux)

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

Link to original