 |
נכון (ולא נכון). קיימות עוד הנחות, אבל לא אינספור.
חלק מהנחות היסוד - כשמן כן הן - הנחות יסוד, ולכן מוסכמות ומובנות. בפרט - משמעותן של מילים. חלקן הן הנחות סמויות, אבל לא הנחות יסוד, לדוגמא "קיים אדם ששמו אביב גפן" . תרצה - תקבלן כנתון, אבל גם לא, הרי המשפט "המספר האישי של פרדיננד פדהצור בקיצור1 הוא ראשוני" מחזיר ערך false. חלקן אינן מונחות: "מספר יכול להיות פריק" היא אחת כזאת, שכן אם מספר אינו יכול להיות פריק אז ודאי שהמשפט "המספר האישי של אביב גפן הוא פריק" מחזיר ערך false
ככלל, בהחלט ניתן ליצר משפט פשוט, אבל גם משפטים מורכבים, ואפילו מורכבים מאוד, ניתן לשקול בצורה בוליאנית (האם הם מחזירים ערך true או false) בהתאם לכללים פשוטים למדי.
____
1 בהנחה שאין אדם כזה
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש