abbreviations 彐 A stands for~Wx~A (Va E S)A stands for Va (s(a2 a (丑c∈S) A stands for3x(S(x)∧A) Logic in Computer Science - p 7/23Abbreviations • ∃xA stands fo r ∼ ∀ x ∼ A • ( ∀ x ∈ S ) A stands fo r ∀ x ( S ( x ) ⊃ A ) • ( ∃ x ∈ S ) A stands fo r ∃ x ( S ( x ) ∧ A ) Logic in Computer Science – p.7/23