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

ב[[לוגיקה]] וב[[לוגיקה מתמטית]], '''תחשיב פסוקים''' (ב[[אנגלית]]: Propositional calculus,‏ Propositional logic או Sentential calculus) הוא [[תחשיב]] [[פורמליזם (מתמטיקה)|פורמלי]] לייצוג [[קשר לוגי|קַשַּרים הלוגייםלוגיים]] בין [[ערך אמת|ערכי אמת]] של [[פסוק (לוגיקה מתמטית)|פסוקים לוגיים]] שונים ו[[היסק|להסיק]] את [[תקפות (לוגיקה)|תקפותן ההגיונית (לוגית)]] של [[טענה|טענות]].