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