Loading AI tools
מוויקיפדיה, האנציקלופדיה החופשית
בלוגיקה ובלוגיקה מתמטית, תחשיב פְּרֶדִיקָטִים הוא מערכת פורמלית לטיפול בפסוקים הכוללים פרדיקטים (פרדיקט הוא נשוא, או תכונה, ובשפה המתמטית – יחס). בשפה מסדר ראשון חלים הפרדיקטים והמשתנים על אובייקטים בלבד. לעומת זאת בשפה מסדר שני פרדיקטים יכולים לחול גם על פרדיקטים אחרים וכמתים יכולים לחול גם על פרדיקטים.
בתחשיב הפרדיקטים הפסוק היסודי (או הפסוק האטומי) הוא בעל שני חלקים בלבד, פרדיקט ואובייקט, החוברים זה לזה כפי שפונקציה חלה על משתנים. למשל, את המשפט "דני הוא חכם", מצרינים (מביעים באופן צורני) כך:
כאשר מציין את הפרדיקט חכם, ו- מציין את שמו של האובייקט, דני. תחשיב הפרדיקטים מאפשר גם להביע יחסים בין שני אובייקטים או יותר באמצעות פרדיקטים דו מקומיים, המקבלים שני אובייקטים. למשל כדי לומר שדני () הוא חבר של רני (), תוך ציון יחס החברות באמצעות האות , נקבל את הנוסחה הבאה:
תחשיב הפרדיקטים מסדר ראשון כולל גם שני אמצעי כימות (קוונטיפיקציה). את הכמת ניתן להבין כפונקציה מסדר גבוה יותר החלה על הפרדיקט ועל המשתנה שלו. למשל, כך מובעת בתחשיב הפרדיקטים צורתה של הטענה "כל דבר הוא חכם":
וכך מובעת הטענה "יש דבר אחד לפחות שהוא חכם":
כוחו של תחשיב הפרדיקטים ניכר ביכולתו להביע את קשרי ההיסק הלוגיים בין טענות שונות. למשל, ניתן להראות באמצעותו כי הטיעון הבא הוא תקף:
בתחשיב הפרדיקטים הכמתים מופיעים כחלק מן המבנה הפנימי של הטענה, ובאמצעות כך ניתן כעת לנסח בו טענות שיש בהן כימות מרובה של מספר משתנים בעת ובעונה אחת. טכניקות אלו מעניקות ללוגיקה כוח להביע עובדות וקשרים שאינם ניתנים להבעה באמצעות תחשיב הפסוקים או בלוגיקה האריסטוטלית. למשל הוא מאפשר לתת תיאור של מושג המספר, של מושג האינסוף ושל מושג הגבול באנליזה המתמטית של פונקציות, שכן לשם הבעת מושגים אלו יש צורך בטענה מרובת כמתים מן הצורה "לכל קיים כך ש...". דוגמה פשוטה יחסית לאופן בו נעשה שימוש כזה בכמתים היא ההצרנה של הטענה "לכל אחד יש חבר", כאשר נציין את היחס בין חברים שוב כפרדיקט דו-מקומי, :
בתחשיב הפרדיקטים נעשה גם שימוש בכל הקשרים הלוגיים הסטנדרטיים המוכרים מתחשיב הפסוקים (או בחלק מהם, ובלבד שתיווצר קבוצה שלמה של קשרים באמצעותה ניתן להביע כל פעולה בוליאנית):
לכל שפה מותאם תחשיב משלה, בהתאם לסימני הקבועים, סימני המשתנים, סימני הפונקציות וסימני היחסים שלה.
הנוסחאות הן עצם היסוד של התחשיב, וכל נוסחה מסתמכת על לפחות נוסחה אטומית אחת, אם לא יותר. מכל שתי נוסחאות ניתן לבנות נוסחה המכילה כל סוג של קשר לוגי ביניהן (וגם, או, גרירה חד-צדדית, גרירה הדדית וכדומה).
תפקידם של הסוגריים למנוע דו-משמעות בקריאה של המשפטים. עם זאת מקובל להשמיט את הסוגריים החיצוניים ביותר. כאשר בנוסחה כל המשתנים הם קשורים, דהיינו כאשר כולם אינם חופשיים, אזי מדובר בפסוק, ואז ניתן ליחס לה ערך אמת או שקר, כתלות במבנה המפרש אותה.
הסמנטיקה של תחשיב הפרדיקטים מציעה פירושים אשר במסגרתם בלבד ניתן ליחס לפסוקים ערך אמת. פירוש של שפה מסדר ראשון, כמו תחשיב הפרדיקטים, מעניק מובן לכל אחד מן הקבועים הלא לוגים (השמות והפרדיקטים) וקובע את תחום-הדיון אשר על פיו נקבע הטווח של הכמתים. לא כל אובייקט בתחום דורש שיינתן לו שם. אולם צריך להיות ברור מן הסמנטיקה, עבור כל אובייקט וכל פרדיקט בתחום, האם הפרדיקט חל עליו או לא. לדוגמה:
לא כל אובייקט בתחום דורש שיינתן לו שם. אולם צריך להיות ברור מן הסמנטיקה, עבור כל אובייקט וכל פרדיקט בתחום, האם הפרדיקט חל עליו או לא.
כעת ניתן להעריך את ערך האמת של הפסוקים הבאים בפירוש הנוכחי:
כדוגמה נבחן את עשרת הפסוקים שניתן ליצור מן היחס "אוהב את" או לחלופין "נאהב על ידי", המקבל שני ארגומנטים, בצירופים שונים של שני הכמתים. כסמנטיקה נניח שמדובר בעולם בעל חמישה אובייקטים, , ונראה אילו פירושים שונים יכולים להינתן בעולם כזה עבור היחס "אוהב את", וכיצד הטענה המכומתת יכולה לבטא פירושים אלו.
|
|
|
|||||||||||||
|
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.