שינויים
/* תרגיל 2 שאלה 12 */ פסקה חדשה
:לגבי שאלה 6: 2 לא גורר את 1, לכן הם אינם שקולים (זכרו, שקילות זה שאם"ם היא טאוטולוגיה, כלומר צריכות להתקיים הגרירות בשני הכיוונים).
:לגבי שאלה 7: <math>A \to B \not\equiv \neg A \to \neg B</math>, בדקו לפי טבלת אמת! (מה שהראנו בתרגול זה ש: <math>A \to B \equiv \neg B \to \neg A</math>) --'''אריאל ויצמן'''.
== תרגיל 2 שאלה 12 ==
לא כ"כ הבנתי מה הפירוש של "התכונות הבאות שקולות".
בהוראה מבקשים מאיתנו להגיד האם זה נכון או לא נכון שרשימה של חמש תכונות שקולות זו לזו. בשביל לבדוק אם התכונות שקולות זו לזו, מספיק להראות שאם התכונה הראשונה מתקיימת אז בהכרח גם השנייה מתקיימת, ואם השנייה מתקיימת אז בהכרח השלישית מתקיימת וכך הלאה, או שצריך להראות על '''כל''' זוג של תכונות שאם האחת מתקיימת אז גם האחרת מתקיימת ולהפך?
תודה מראש על העזרה..
