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

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