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

אין שינוי בגודל ,  לפני שנתיים
מ
תקלדה
(אני צודק?)
תגית: עריכת קוד מקור 2017
מ (תקלדה)
לכל [[שפה (לוגיקה)|שפה]] מותאם תחשיב משלה, בהתאם לסימני הקבועים, סימני המשתנים, סימני הפונקציות וסימני היחסים שלה.
 
ה[[נוסחא (לוגיקה)|נוסחאות]] הן עצם היסוד של התחשיב, וכל נוסחה מסתמכת על לפחות [[נוסחאנוסחה אטומית]] אחת, אם לא יותר. מכל שתי נוסחאות ניתן לבנות נוסחה המכילה כל סוג של קשר לוגי ביניהן (וגם, או, גרירה חד-צדדית, גרירה הדדית וכדומה).
 
תפקידם של הסוגריים למנוע דו-משמעות בקריאה של המשפטים. עם זאת מקובל להשמיט את הסוגריים החיצוניים ביותר.