אין תקציר עריכה
(בוט: מחליף את הקובץ תמונה:Predicate_logic;_2_variables;_implications.svg בקובץ תמונה:Cocoon_concertina_square_graph;_matrix_sketches.svg) |
אין תקציר עריכה תגיות: עריכה ממכשיר נייד עריכה דרך האתר הנייד |
||
ב[[לוגיקה]] וב[[לוגיקה מתמטית]], '''תחשיב פרדיקטים מסדר ראשון''' הוא מערכת אקסיומטית המאפשרת לטפל בפסוקים שהמבנה הבסיסי שלהם כולל נשואים (פרדיקטים) החלים על אובייקטים, או על משתנים שערכיהם הם אובייקטים. הפרדיקטים עצמם הם פונקציות המחזירות ערך אמת (אמיתי או שקרי) עבור אובייקטים מסוימים או עבור משתנים מסוימים. בתחשיב פרדיקטים מסדר גבוה יותר, פרדיקטים יכולים לחול על פרדיקטים אחרים וכמתים יכולים לחול
==הצרנה של פסוקים יסודיים==
|