בלוגיקה ובלוגיקה מתמטית, תחשיב פסוקים (באנגלית: Propositional calculus, Propositional logic או Sentential calculus) הוא מערכת מובנית (פורמליסטית), המאפשרת לייצג את הקשרים הלוגיים בין ערכי האמת של פסוקים לוגיים שונים, ולהסיק את תקפותן ההגיונית (לוגית) של טענות. מתוך ויקיפדיה

תחש נהרות קריבי, תחש קצר⁻שיער, תחשאים, תחשיב אינדקסים, תחשיב היחסים, תחשיב הפרדיקטים, תחשיב יחסים, תחשיב למבדא, תחשיב למדא, תחשיב פרדיקטים