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

תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה
מ עיצוב רשימה בדף פירושונים (תג)
שורה 1:
{{פירושונים|
* [[נשוא]]
* [[פרדיקט (לוגיקה מתמטית)]], בעברית: '''טענה''' {{אנ|Predicate (mathematical logic)}}
** [[פרדיקט (פונקציה)]], בעברית: '''מיפוי''' או '''כלל''' {{אנ|Functional predicate}}
* [[שפה מסדר ראשון]]
* [[תחשיב הפסוקים]]