Selected Solutions to Translation of Arguments in Polyadic QL

1. If Abner loves everyone who loves him, then Abner is taller than someone who loves him. But if Abner isn't happier than Belinda, Belinda loves everyone. Therefore everyone who Belinda loves, loves either Belinda or Abner.

a: Abner

b: Belinda

Lxy: x loves y

Txy: x is taller than y

Hxy: x is happier than y.

(x)(Lxa ⊃ Lax) ⊃ (∃x)(Lxa & Tax)

~Hab ⊃ (x)Lbx

___________________________

(x)(Lbx ⊃  (Lxb v Lxa))