: בוא נבהיר משהו, כשיש טענה לוגית "אם X אז Y" וX הוא שיקרי (כלומר לא מתקיים אף פעם) אז הטענה הלוגית תקפה! כך למשל הטענה "אם 3=5 אז יש פילים ורודים" היא נכונה (במובן שהיא תקפה לוגית).
: עכשיו תחשבו אלו תכונות יש ליחס הריק? (היחס הריק הוא הקבוצה הריקה, יחס שבו אף איבר לא מתייחס לאף איבר). --[[משתמש:שירה ג|שירה ג]] 19:42, 5 בינואר 2013 (IST)
== תרגיל 6 שאלה 1 ו ==
שלום שירה,
תוכלי בבקשה להסביר במילים מה שכתבת בתשובה לשאלה זו? לא הצלחתי להבין למה הפונ' לא על?
תודה!