The two basic facts about the quantifiers you need tounderstand, and from which all of the logical properties of thequantifiers follow are:
Basic Fact 1: A universal quantifier (x) Fx isequivalent to an infinite conjunction: Fa & Fb & Fc &Fd & ........
where a, b, c, d, are the names of objects in theuniverse picked out by the 'x' in the universal quantifier'(x)'.
Basic Fact 2: An existential quantifier is equivalent toan infinite disjunction
Fa v Fb v Fc v Fd v ......
Expand in a two-element universe
(a) ~(x) ((Fx v Gy) v Ka)
