... KING(y)) &and; BALD

∃x (KING(x) &and; ¬∃y (x ≠ y &and; KING(y)) &and; BALD There's something missing like: ∃x (KING(x) &and; ¬∃y (x ≠ y &and; KING(y)) &and; BALD (x)) In English: There is only one king and he is bald.

Meryem

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

Posted:: 3+ months ago by Meryem
Topics:: bald, king, formula, read, english, math, punctuation

Details:

... KING(y)) ∧ BALD

Answer this Question

Report Mark as Favorite

Answers (1)

PhiBonacci

∃x (KING(x) ∧ ¬∃y (x ≠ y ∧ KING(y)) ∧ BALD
There's something missing like:
∃x (KING(x) ∧ ¬∃y (x ≠ y ∧ KING(y)) ∧ BALD (x))
In English:
There is only one king and he is bald.

Votes: +0 / -0

Comment Vote up Vote down Report

PhiBonacci

A parenthesis got int the wrong place: Correction:

∃x (KING(x) ∧ ¬∃y (x ≠ y ∧ KING(y))) ∧ BALD (x)

Sorry.

Add Comment