פרדיקט (לוגיקה מתמטית)
ויקיפדיה האנציקלופדיה encyclopedia
שגיאות פרמטריות בתבנית:מקורות
פרמטרי חובה [ נושא ] חסרים
ערך ללא מקורות | |
בלוגיקה מתמטית, פְּרֵדִיקָט הוא סימול המייצג תכונה או יחס. למשל, בשפה מסדר ראשון בנוסחה , הסמל הוא פרדיקט שחל על האובייקט . באופן דומה, בנוסחה , הוא פרדיקט החל על האובייקטים ו-.
הסמנטיקה של פרדיקטים מתייחסת לפרדיקטים כפסוקים המייצגים יחסים בין משתנים. לדוגמה, בסמנטיקה סטנדרטית של שפה מסדר ראשון, הנוסחה תקבל משמעות "אמת" אם אם האובייקטים שמסומנים ב ו- עומדים ביחס המסומן ב (לדוגמה אם היחס מסמן את היחס במספרים שלמים, אזי הוא בעל משמעות "אמת" אבל בעל המשמעות "שקר"). מכיוון שהפרדיקטים הם סימולים ללא משמעות לוגית (בניגוד לכמתים או סימנים לוגיים), הם יכולים לציין יחסים שונים בהתאם לפרשנות הניתנת להם. בעוד ששפה מסדר ראשון כוללת רק פרדיקטים החלים על אובייקטים, שפות מסדר גבוה יותר מאפשרות פרדיקטים הכוללים כמתים על פרדיקטים או פונקציות.