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

מ
בוט: החלפת טקסט אוטומטית (-\[\[(.+)\|\1\]\] +\1)
(←‏הצרנה של פסוקים יסודיים: תיקון טעות הקלדה, הסימן המשומש הוא R ולא F., , תקלדה)
מ (בוט: החלפת טקסט אוטומטית (-\[\[(.+)\|\1\]\] +\1))
ב[[לוגיקה]] וב[[לוגיקה מתמטית|לוגיקה מתמטית]], '''תחשיב פרדיקטים מסדר ראשון''' הוא מערכת אקסיומטית המאפשרת לטפל בפסוקים שהמבנה הבסיסי שלהן כולל נשואים (פרדיקטים) החלים על אובייקטים, או על משתנים שערכיהם הם אובייקטים. הפרדיקטים עצמם הם פונקציות המחזירות ערך אמת (אמיתי או שקרי) עבור אובייקטים מסוימים או עבור משתנים מסוימים. בתחשיב פרדיקטים מסדר גבוה יותר, פרדיקטים יכולים לחול על פרדיקטים אחרים וכמתים יכולים לחול על פרדיקטים. במתמטיקה תחשיב הפרדיקטים מופיע כ[[שפה מסדר ראשון]] או כ[[שפה מסדר שני]].
==הצרנה של פסוקים יסודיים==