Negation (First-Order Tableaux)

first-order-logic tableaux

Definition

Definition

Negation (Propositional Tableaux)

$$\frac{t:(\neg A)}{f:A}\frac{f:(\neg A)}{t:A}$$

Link to original