Easy Polyadic Translation Exercise Answers

1. Martha is smarter than Fred.
   Sxy: x is smarter than y
   a: Martha
   b: Fred
   Sab

2. Everyone is taller than Ignat.
   Txy: x is taller than y
   a: Ignat
   (x)Txa

3. Not everyone is healthier than Bertha.
   Hxy: x is healthier than y
   b: Bertha
   ~(x)Hxb

4. Marcos loves Mildred.
   Lxy: x loves y
   a: Marcos
   b: Mildred
   Lab

5. Someone loves Marcos.
   [abbreviations as above]
   (∃x)Lxa

6. Someone doesn't love Marcos.
   [abbreviations as above]
   (∃x)~Lxa

7. Marcos loves everyone.
   [abbreviations as above]
   (x)Lax

8. Not everyone loves Mildred.
   ~(x)Lxa

9. If someone loves Mildred, Ignat does.
   c: Ignat
   (∃x)Lxb ⊃Lcb

10. Someone isn't taller than Fred.
    Txy: x is taller than y
    a: Fred
    (∃x)~Txa