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

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