This is an example from my textbook:
Translate the proposition "Al knows only Bill" into symbolic form. Let’s use K(x, y) for the predicate x knows y. The translation would be K(Al, Bill) ∧ ∀x (K(Al, x) → (x = Bill)).
Why do we need:
isn't this enough:
∀x(K(Al, x) → (x = Bill))