Date: 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
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

Profile

nameandnature: Giles from Buffy (Default)
nameandnature

February 2025

S M T W T F S
      1
23 45678
910 1112131415
1617 1819202122
2324252627 28 

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 18th, 2025 01:01 am
Powered by Dreamwidth Studios