Conjunction (Tableaux)

tableaux

Definition

Conjunction

$$\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).