מעבר לתוכן

שאלה פשוטה בלוגיקה


moogle

הודעות מומלצות

אני רוצה ע"י שימוש ב-  First-order logic להציג את המשפט הבא:

 

"אבי שונא את מה שאלי אוהב, והוא אוהב את מה שחני שונאת".

 

אני רוצה להציג זאת במשפט אחד, והדבר היחידי בינתיים שחשבתי זה:

חלוקה לשני חלקים (של המשפט) ושימוש ב- "וגם" בינהם (כאשר יש גרירה בין כל תת חלק).

כלומר, אם אלי אוהב גורר שאבי שונא וגם אם חני שונאת גורר שאבי אוהב.

 

הבעיה אני לא בטוח האם זה חוקי?

אם למישהו יש פתרון פשוט יותר, או יודע האם ההצעה שלי נכונה לוגית, אשמח לקבל כזה.

 

תודה

קישור לתוכן
שיתוף באתרים אחרים

הצטרפות לשיח

באפשרותך לשלוח הודעה כעת ולהירשם מאוחר יותר. אם ברשותך חשבון, ניתן להתחבר עכשיו לשליחת הודעה דרך חשבונך.
הערה: הודעתך דרושה לאישור הנהלה לפני הצגתה.

אורח
הוספת תגובה

×   הדבקה כטקסט עשיר.   הדבקה כטקסט רגיל במקום

  מאושרים אך ורק 75 סמייקונים.

×   הקישור שלך מוצמד אוטומטית.   הצגה כקישור במקום

×   תוכן הקודם שלכם שוחזר.   ניקוי עורך

×   You cannot paste images directly. Upload or insert images from URL.

טוען...
×
×
  • יצירת חדש...