ויקיספר

חשבון אינפיניטסימלי/כמתים ושלילת פסוקים: הבדלים בין גרסאות בדף

עיון אינטראקטיבי בהיסטוריה
→ העריכה הקודמתהעריכה הבאה ←
תוכן שנמחק תוכן שנוסף
חזותיקוד ויקי
Mathreturn (שיחה | תרומות)
1,183 עריכות
שורה 29:
! הפסוק !! שלילה
|-
| פסוק "או" (<math>(A) \lor (B)</math>)|| <math>(\lnot A) \lorland (\lnot B)</math>
|-
| פסוק "וגם" ((<math>(A) \lorland (B)</math>)) || <math>(\lnot A) \lor (\lnot B)</math>
|-
| פסוק גרירה (<math>(A) \Rightarrow (B)</math>) || <math>(A) \land (\lnot B)</math>
אוחזר מתוך "https://he.wikibooks.org/wiki/חשבון_אינפיניטסימלי/כמתים_ושלילת_פסוקים"