תחשיב הפסוקים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
←סמנטיקה: הגהה |
|||
שורה 51:
:<math>a \lor b</math> מוגדר כ- <math>\neg a \to b</math>
:<math>a \land b</math> מוגדר כ- <math>\neg(a \to \neg b)</math>
:<math>a \leftrightarrow b</math> מוגדר כ- <math>\neg((a \to b) \to \neg (
| |||