Negation (Propositional Tableaux)

tableaux

Definition

Negation (Propositional Tableaux)

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