תחשיב הפרדיקטים – הבדלי גרסאות

בקשת הבהרה זהירה במיוחד במקרה של ספק עודף טרמינולוגיה.
(המידע שבהערת הסוגריים העוקבת אמור להופיע בערך פרדיקט שטרם נכתב ולדעתי ראוי לבוא שכר רוחני גדול על בר סמכא שיכתובו לפחות לעת עתה כצקרמר קליל.)
(בקשת הבהרה זהירה במיוחד במקרה של ספק עודף טרמינולוגיה.)
ב[[לוגיקה]] וב[[לוגיקה מתמטית]], '''תחשיב פרדיקטים מסדר ראשון''' הוא מערכת אקסיומטית המאפשרת לטפל בפסוקים שהמבנה הבסיסי שלהם כולל [[פרידקט]]ים (פרדיקט הוא [[נשוא]], או תכונה, ובשפה המתמטית - [[יחס (תורת הקבוצות)|יחס חד-מקומי]]) החלים על אובייקטים, או על משתנים שערכיהם הם אובייקטים.{{ש}}
במתמטיקה תחשיב הפרדיקטים מופיע כ[[שפה מסדר ראשון]] או כ[[שפה מסדר שני]]. {{ש}}
 
בתחשיב פרדיקטים מסדר ראשון, פרדיקט הוא פונקציות המחזירה ערך בוליאני (אמיתי או שקרי) עבור אובייקטים מסוימים או עבור משתנים מסוימים.{{ש}}
בתחשיב פרדיקטים מסדר גבוה יותר{{הבהרה|באותה פסקה בדיוק כתוב "במתמטיקה תחשיב הפרדיקטים מופיע כ[[שפה מסדר ראשון]] או כ[[שפה מסדר שני]]"; אם כך, אינני יודע למה נכתב "מסדר גבוה יותר" ולא פשוט "מסדר שני" - כלומר, למה התווספה טרמינולוגיה מיותרת לכאורה}}, פרדיקטים יכולים לחול על פרדיקטים אחרים ו[[כמת (לוגיקה מתמטית)|כמתים]] יכולים לחול על פרדיקטים.
 
==הצרנה של פסוקים יסודיים==
משתמש אלמוני