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

הוסרו 399 בתים ,  לפני 9 שנים
 
==תחביר של תחשיב הפרדיקטים==
לכל [[שפה (לוגיקה)|שפה]] מותאם תחשיב משלה, בהתאם לסימני הקבועים, סימני המשתנים, סימני הפונקציות וסימני היחסים שלה.
הסמלים של תחשיב הפרדיקטים מציינים משתנים (מצוינים באותיות x,y,z עם או בלי אינדקס ממוספר), קבועים (שמות, המצוינים באותיות a,b,c וכו') ופרדיקטים (מצוינים באותיות גדולות Px, Rxy, וכו'), וכן קבועים לוגים (הקשרים והכמתים) וסימני פיסוק (סוגריים). לעתים כוללים את יחס הזהות בסימני התחשיב וכך נעשה להלן.
 
ה[[נוסחא (לוגיקה)|נוסחאות]] הן עצם היסוד של התחשיב, וכל נוסחא מסתמכת על לפחות [[נוסחא אטומית]] אחת, אם לא יותר. מכל שתי נוסחאות ניתן לבנות נוסחא המכילה כל סוג של קשר לוגי ביניהן (וגם , או , גרירה חד-צדדית, גרירה הדדית וכד').
 
תפקידם של הסוגריים למנוע דו-משמעות בקריאה של המשפטים. עם זאת מקובל להשמיט את הסוגריים החיצוניים ביותר.
כאשר בנוסחה כל המשתנים הם קשורים, דהיינו כאשר כלכולם [[משתנה מצויחופשי|אינם בטווח של כמת מתאיםחופשיים]], הנוסחהאזי נחשבתמדובר כפסוקב[[פסוק (או טענהלוגיקה).|פסוק]], או אזואז ניתן ליחס לה ערך [[אמיתות (לוגיקה)|אמת, בהתבססאו על ערך האמת של הפסוקים האטומיםשקר]], כלומרכתלות בתלותב[[מבנה בפירוש(לוגיקה)|מבנה]] שהסמנטיקההמפרש נותנת לפרדיקטים ולתחום האובייקטים (ר' להלן)אותה.
 
==סמנטיקה של תחשיב הפרדיקטים==
משתמש אלמוני