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

תחשיב פסוקים מסוים כולל קבוצה של '''פסוקים יסודיים''' או "פסוקים אטומיים", ומספר קָשַרים לוגיים סטנדרטיים. לדוגמה, נגדיר ש P מייצג את הטענה "הגביע הוא שלנו", ו-Q מייצג את הטענה "אנחנו במפה"'. או אז ניתן להדגים את התחביר של חמשת הקשרים הלוגיים כך:

:שלילה: <math>\neg</math> - זהו קשר אונרי, דהיינו הוא מקושר לאות פסוקית אחת בלבד. לדוגמה, <math>\neg P</math> מייצג את "הגביע הוא לא שלנו".

:ניתוק או דיסיונקציה ("או"): <math>\vee </math> - קשר בינארי, מקשר בין שני פסוקים. לדוגמה, הפסוק המורכב <math>P \vee Q</math> מייצג את הטענה "הגביע הוא שלנו או אנחנו על המפה".

:תנאי ("אם-אז"): <math>\to</math> - קשר בינארי, מקשר בין שני פסוקים. לדוגמה, הפסוק המורכב <math>P \to Q</math> מייצג את הטענה "אם הגביע הוא שלנו אזי אנחנו על המפה".