אני רוצה ע"י שימוש ב- First-order logic להציג את המשפט הבא: "אבי שונא את מה שאלי אוהב, והוא אוהב את מה שחני שונאת". אני רוצה להציג זאת במשפט אחד, והדבר היחידי בינתיים שחשבתי זה: חלוקה לשני חלקים (של המשפט) ושימוש ב- "וגם" בינהם (כאשר יש גרירה בין כל תת חלק). כלומר, אם אלי אוהב גורר שאבי שונא וגם אם חני שונאת גורר שאבי אוהב. הבעיה אני לא בטוח האם זה חוקי? אם למישהו יש פתרון פשוט יותר, או יודע האם ההצעה שלי נכונה לוגית, אשמח לקבל כזה. תודה