This question already has an answer here:

I have been given an assignment question to convert english statements into predicate logic statements. I have no idea where to begin

Loves(x, y): x loves y

Reindeer(x): x is a reindeer

*we are only allowed to use these 2 predicates

Anyone who loves reindeers loves at most one reindeer. (Do not use ∃! for this question.)

any help would be greatly appreciated :) thanks


marked as duplicate by Mauro ALLEGRANZA, 5xum, Saad, Namaste discrete-mathematics Sep 20 '18 at 0:14

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • $\begingroup$ we are not allowed to use H(x) or any other predicates other than the 2 given predicates $\endgroup$ – user594831 Sep 19 '18 at 10:06
  • $\begingroup$ Hi and welcome. If you really have no idea where to begin, it's probably best to go back to your text or notes and check that you really understand the examples you find there. Seeing the answer done by somebody else won't help you much. $\endgroup$ – John Brevik Sep 19 '18 at 10:28
  • $\begingroup$ The predicate $H(x)$ : "$x$ is a human" is not needed at all. We can simply assume that the universe on which interpret the variavles is Humankind. $\endgroup$ – Mauro ALLEGRANZA Sep 19 '18 at 11:14
  • 1
    $\begingroup$ I have tried this, am not sure if it's entirely correct: Ax(Ey(R(y)^L(x,y))) ^ Ax(AzAy ((R(y) ^ R(z) ^ L(x,y) ^ L(x,z)) => y=z)) $\endgroup$ – user594831 Sep 19 '18 at 11:55
  • $\begingroup$ is there a way i could make the answer more concise? $\endgroup$ – user594831 Sep 19 '18 at 12:36

I've tried this, am not sure if it's correct,

                Ax(Ey(R(y)^L(x,y))) ^ 

       Ax(AzAy ((R(y) ^ R(z) ^ L(x,y) ^ L(x,z)) => y=z))

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