Sample Answers to Love and Marriage Symbolizations 

    1. ~@x(Rx & Bx -> Hx)

    2. $x((Bx & Hx) & ~Rx)

    3. @x(Bx v Gx -> Ix)

      or: @x(Bx -> Ix) & @x(Gx -> Ix)
       
    4. ~@x(Bx & (Rx & Hx) -> @y(Gy -> Lyx))

    5. @x(Gx & Ix -> @y(By -> ~Kyx))

      or: @x(Gx & Ix -> ~$x(By & Kyx))
       
    6. $x(Gx & $y(By & (Mxy & ~Lyx))

    7. @x(Bx -> Kdx)

    8. @x(Kdx -> Rx & Bx)

    9. @x(Kxd -> Bx & Hx)

    10. @x(Px & Kdx -> Rx)

    11. @x(Px & Kxd -> Rx)

    12. @x(Px & Kdx -> Ldx)

    13. @x(Bx -> Kdx & ~Mdx)

    14. @x(Px & Lxd -> ~Ldx)

    15. $x(Px & Mdx)

      not equivalent, but also acceptable: $x(Px & Mxd)
      not equivalent, but also acceptable: $x(Bx & Mdx) or $x(Bx & Mxd)
    16. $x((Bx & Rx) & ~$y(Py & Mxy))
      not equivalent, but acceptable: $x((Bx & Rx) & ~$y(Py Myx))
      not equivalent, but acceptable: $x((Bx & Rx) & ~$y(Gy & Mxy))
       
    17. $x((Rx & Hx) & (Bx & Lxx))

    18. $x(Bx & ~$y(Gy & Lxy)

      or: $x(Bx & @y(Gy -> ~Lxy))
       
    19. @x(Bx & Hx -> $yMxy)
      not equivalent, but also acceptable: @x(Bx & Hx -> $y(Gy & Mxy))
       
    20. @x(Bx & Rx -> ~Hx)

    21. $xy(((Bx & By) & (Kxd & Kyd)) & ((Hx & Hy) & ~x=y))