Can anyone please tell me how to read this in English :: ∃x (KING(x) ∧ ¬∃y (x ≠ y ∧?

... KING(y)) ∧ BALD or:... KING(y)) \u2227 BALDor:\u2203x (KING(x) \u2227 \u00ac\u2203y (x \u2260 y \u2227 KING(y)) \u2227 BALD There's somethi

... KING(y)) ∧ BALD

or:... KING(y)) \u2227 BALD

or:\u2203x (KING(x) \u2227 \u00ac\u2203y (x \u2260 y \u2227 KING(y)) \u2227 BALD There's something missing like:\u2203x (KING(x) \u2227 \u00ac\u2203y (x \u2260 y \u2227 KING(y)) \u2227 BALD (x))In English:There is only one king and he is bald.

Tags: