שינויים
<math>(A\and B)\or C <=> (A\or C)\and(B\or C)</math> וכנל כש-C משמאל
'''הערה לשאלה 6:'''
כאשר הפרדיקט <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)
