<math>(A\and B)\or C <=> (A\or C)\and(B\or C)</math> וכנל כש-C משמאל
'''הערה הערות לשאלה 6:'''1.כאשר הפרדיקט <math>N(x)</math> אומר "הוא שם", הכוונה שהוא מחזיר אמת כאשר הוא מקבל אוייבקט <math>x</math> שהוא שם. אם רוצים לומר ש"קיים שם" אז כותבים <math>\exists_x N(x)</math>. אם רוצים להגיד שלכל שם קיים איש כך שהשם של האיש הוא השם הזה <math>\forall_x (N(x) \rightarrow \exists_y (P(y) \wedge R(y,x)))</math>. [[משתמש:Adam Chapman|Adam Chapman]] 10:53, 28 באוקטובר 2012 (IST)
'''הערה נוספת לשאלה 6'''2.אסור להשתמש ביחס <math>\ne</math>. חישבו איזה קשר יכול לסייע לנו לבטא אי שוויון. עדי
אסור להשתמש ביחס 3. ״לכל איש יש שם״ כמובן הכוונה ל-"לכל איש קיים שם כך שהשם הוא שמו של האיש" 4. דוגמאות נוספות לעיונכם: א) קיים איש עם שם יחיד- <math>\exsits x\exists y:R(x,y)\and \forall z(R(x,z)\rightarrow (z=y))</math> ב) לא קיים איש שהוא שם <math>\neg\exsits x:p(x)\and N(x)</math> ג) לכל איש עם שם קיים איש אחר עם אותו שם <math>\forall x : \exists n : R(x,n)\rightarrow \exists y R(y,n)\and \ne(x=y)</math>. חישבו איזה קשר יכול לסייע לנו לבטא אי שוויון. עדי
==תרגיל 2==
[[מדיה:Bdida2A2012.doc|תרגיל 2]] להגשה ב-13 לנובמבר