פרדיקט (לוגיקה מתמטית)

ערך ללא מקורות
בערך זה אין מקורות ביבליוגרפיים כלל, לא ברור על מה מסתמך הכתוב וייתכן שמדובר במחקר מקורי.
אנא עזרו לשפר את אמינות הערך באמצעות הבאת מקורות לדברים ושילובם בגוף הערך בצורת קישורים חיצוניים והערות שוליים.
אם אתם סבורים כי ניתן להסיר את התבנית, ניתן לציין זאת בדף השיחה.

בלוגיקה מתמטית, פְּרֵדִיקָט הוא סימול המייצג תכונה או יחס. למשל, בשפה מסדר ראשון בנוסחה , הסמל הוא פרדיקט שחל על האובייקט . באופן דומה, בנוסחה , הוא פרדיקט החל על האובייקטים ו-.

הסמנטיקה של פרדיקטים מתייחסת לפרדיקטים כפסוקים המייצגים יחסים בין משתנים. לדוגמה, בסמנטיקה סטנדרטית של שפה מסדר ראשון, הנוסחה תקבל משמעות "אמת" אם אם האובייקטים שמסומנים ב ו- עומדים ביחס המסומן ב (לדוגמה אם היחס מסמן את היחס במספרים שלמים, אזי הוא בעל משמעות "אמת" אבל בעל המשמעות "שקר"). מכיוון שהפרדיקטים הם סימולים ללא משמעות לוגית (בניגוד לכמתים או סימנים לוגיים), הם יכולים לציין יחסים שונים בהתאם לפרשנות הניתנת להם. בעוד ששפה מסדר ראשון כוללת רק פרדיקטים החלים על אובייקטים, שפות מסדר גבוה יותר מאפשרות פרדיקטים הכוללים כמתים על פרדיקטים או פונקציות.

פרדיקטים במערכות שונות

עריכה

ראו גם

עריכה

קישורים חיצוניים

עריכה