Quantifiers: Atomic Tableaux F(xp(x) F(彐x)y(x) for a new constant c for any ground term t of lcQuantifiers: Atomic Tableaux F(∀x)ϕ(x) Fϕ(c) for a new constant c F(∃x)ϕ(x) Fϕ(t) for any ground term t of LC Yi Li (Fudan University) Discrete Mathematics June 5, 2012 8 / 25