# predicate logic statements, discrete math [duplicate]

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 StackExchange.ready(function() { if (StackExchange.options.isMobile) return; $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() { var$hover = $(this).addClass('hover-bound'),$msg = $hover.siblings('.dupe-hammer-message');$hover.hover( function() { $hover.showInfoMessage('', { messageElement:$msg.clone().show(), transient: false, position: { my: 'bottom left', at: 'top center', offsetTop: -7 }, dismissable: false, relativeToBody: true }); }, function() { StackExchange.helpers.removeMessages(); } ); }); }); Sep 20 '18 at 0:14

• we are not allowed to use H(x) or any other predicates other than the 2 given predicates – user594831 Sep 19 '18 at 10:06
• 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. – John Brevik Sep 19 '18 at 10:28
• 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. – Mauro ALLEGRANZA Sep 19 '18 at 11:14
• 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)) – user594831 Sep 19 '18 at 11:55
• is there a way i could make the answer more concise? – user594831 Sep 19 '18 at 12:36

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