:::מהראש או מכל מקום אחר (: --[[משתמש:ארז שיינר|ארז שיינר]] 20:14, 27 ביולי 2011 (IDT)
::::אני בעד קבוצות מהלב ככה רואים שבאמת התכוונת לזה. --[[משתמש:Matan-Fattal|מתן פטאל]] 20:51, 27 ביולי 2011 (IDT)
== תרגיל 1 שאלה 6 ==
האם להתייחס ל- A ו-B כקבוצות זרות?
האם הוכחה פורמלית דורשת בהכרח טבלת אמת? או שאני יכול לפשט ביטוי ולהוכיח בעזרת החוקים שהראנו בכיתה?