tableaux Definition Equivalence (Propositional Tableaux) t:At:B∣f:Af:Bt:(A↔B)t:Af:B∣f:At:Bf:(A↔B)