תחשיב הפסוקים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ הוספת דפים לקטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה כדי שלא יטופלו, אם בראש הערך בבריטניקה קיים המשפט "Learn about this topic" (תג) |
אין תקציר עריכה תגיות: תו כיווניות מפורש שוחזרה עריכה חזותית |
||
שורה 1:
ב[[לוגיקה]] וב[[לוגיקה מתמטית]], '''תחשיב פסוקים''' (ב[[אנגלית]]: Propositional calculus, Propositional logic או Sentential calculus. נקרא גם '''תחשיב הפרדיקטים''') הוא מערכת מובנית ([[פורמליזם (מתמטיקה)|פורמליסטית]]), המאפשרת לייצג את [[קשר לוגי|הקַשַּרים הלוגיים]] בין [[ערך אמת|ערכי האמת]] של [[פסוק (לוגיקה מתמטית)|פסוקים לוגיים]] שונים, ו[[היסק|להסיק]] את [[תקפות (לוגיקה)|תקפותן ההגיונית (לוגית)]] של [[טענה|טענות]].
== התחשיב וגבולותיו ==
בדוגמה להלן כל שורה היא נוסחה 'בנויה כהלכה', והמסקנה לפי כללי תחשיב הפסוקים היא חד משמעית:
| |||