Implication (Propositional Tableaux)

tableaux

Definition

Implication (Propositional Tableaux)

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