Quantifiers: Atomic Tableaux AH Vvo(v)+ for all ground term t, AFp(t) T(Vxp(x) for any ground term t of ccQuantifiers: Atomic Tableaux A |= ∀vφ(v) ⇔ for all ground term t, A |= φ(t). T(∀x)φ(x) Tφ(t) for any ground term t of LC Yi Li (Fudan University) Discrete Mathematics May 28, 2013 7 / 24