|
|
אמירה ( באחת משפות הדיבור או בשפה מתמטית ) , שהיא בעלת מבנה תחבירי של פסוק , ואשר לפחות חלק מן העצמים שעליהם היא מדברת הם משתנים ( , x – ( variables או , y או – z מכונה תבנית פסוק ( , ( statement form ובקיצור תבנית . למשל , ' x חכם ' ו- ' אמא של y רופאה ' הן תבניות במשתנה אחד , ' x מכיר / ה את ' z ו- ' ' x > y הן תבניות בשני משתנים , ' ' x + y = z היא תבנית בשלושה משתנים . משתנים אינם מצביעים על עצמים מסוימים , ובהתאם לכך תבנית פסוק אינה טענה , אין לה ערך אמת . המשתנים של תבנית אינם אלא תחליף לחלל ריק המיועד להצבת ערכים – שמות או תיאורים של איברים מתוך תחום הדיון ( , ( universe of discourse או העולם שבו אנו עוסקים . להבא , כשנדבר על תבנית בעולם נתון , נתכוון לתבנית שמוגדרת בעולם זה , כלומר לתבנית אשר כל הצבה של ערכים מתוך העולם במקום המשתנים שלה , מניבה ממנה פסוק , המביע טענה ( בעלת ערך אמת ) . 1 למשל , לייצוג ' כולם בבית ' , ' אמנון בבית ' , ' מישהו בבית ' בשפת הפסוקים משתמשים בשלושה משתנים פסוקיים שונים , כלומר רואים אותם כשלושה פסוקים , אשר כל אחד מהם עשוי להיות אמת או שקר , ללא תלו...
To the book |
|
|