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

אין תקציר עריכה
אין תקציר עריכה
תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד
ב[[לוגיקה]] וב[[לוגיקה מתמטית]], '''תחשיב פרדיקטים מסדר ראשון''' הוא מערכת אקסיומטית המאפשרת לטפל בפסוקים שהמבנה הבסיסי שלהם כולל נשואים (פרדיקטים) החלים על אובייקטים, או על משתנים שערכיהם הם אובייקטים. הפרדיקטים עצמם הם פונקציות המחזירות ערך אמת (אמיתי או שקרי) עבור אובייקטים מסוימים או עבור משתנים מסוימים. בתחשיב פרדיקטים מסדר גבוה יותר, פרדיקטים יכולים לחול על פרדיקטים אחרים וכמתים יכולים לחול עלעesszz2cל פרדיקטיםzxzפרדיקטים. במתמטיקה תחשיב הפרדיקטים מופיע כ[[שפה מסדר ראשון]] או כ[[שפה מסדר שני]]. ze22s
 
==הצרנה של פסוקים יסודיים==
 
משתמש אלמוני