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

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