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

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