ext_6219 ([identity profile] gareth-rees.livejournal.com) wrote in [personal profile] nameandnature 2009-04-28 09:48 am (UTC)

You might even consider there to be an implicit claim in there that you have only one wife (otherwise you'd have said "one of my wives loves me" or whatever). So a fuller translation would be:
∃X: wife(X, me) ∧ loves(X, me) ∧ ∀Y: wife(Y, me) → X = Y

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting