Tableau Example A tableau with the signed proposition F((a→B)(Vb)∧(avB)Tableau . Example . . A tableau with the signed proposition F(((α → β) ∨ (γ ∨ δ)) ∧ (α ∨ β)). Yi Li (Fudan University) Discrete Mathematics April 9, 2013 6 / 14