שינויים

'''הערה לשאלה 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)