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

נוספו 10 בתים ,  לפני 9 חודשים
ניקוד
מ (הוספת תבנית:בריטניקה בקישורים חיצוניים (תג))
(ניקוד)
ב[[לוגיקה]] וב[[לוגיקה מתמטית]], '''תחשיב פרדיקטיםפְרֶדִיקַטִים''' הוא מערכת פורמלית לטיפול בפסוקים הכוללים [[פרדיקט (לוגיקה מתמטית)|פרדיקט]]ים (פרדיקט הוא [[נשוא]], או תכונה, ובשפה המתמטית - [[יחס (תורת הקבוצות)|יחס]]). ב[[שפה מסדר ראשון]] חלים הפרדיקטים והמשתנים על אובייקטים בלבד. לעומת זאת ב[[שפה מסדר שני]] פרדיקטים יכולים לחול גם על פרדיקטים אחרים ו[[כמת (לוגיקה מתמטית)|כמתים]] יכולים לחול גם על פרדיקטים.
 
==הצרנה של פסוקים יסודיים==