Conjunction (First-Order Tableaux)

first-order-logic tableaux

Definition

Definition

Conjunction (Propositional Tableaux)

$$\frac{t:(A\wedge B)}{t:At:B}\frac{f:(A\wedge B)}{f:A\mid f:B}$$

The $t$-rule for $\wedge$ creates a single branch (both conjuncts must hold). The $f$-rule creates two branches (at least one conjunct must fail).

Link to original