Could someone explain why the following sentence:

“Some lions do not drink coffee.”

is not translated to ∃x(P (x) → ¬R(x))

Thank you!


Implication (→) is rarely used with the existential quantifier when translating from natural language, so beware of that.

Your formulation is wrong because if there are no lions it comes out true, since the antecedent of the conditional would be false for every x.

"Some lions do not drink coffee" is translated with conjunction instead, as:

∃x(P(x) ∧ ¬R(x))

since the sentence asserts that there are (at least one) things that are both lions and not coffee drinkers.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.