כלל היסק – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
לאטך-יזציה. |
מ עיצוב, לאטכיזציה |
||
שורה 28:
1) <math>a\to(b\to c)</math>
2) <math>(a\to (b\to c))\to((a\to b)\to(a\to c))</math>
3) <math>((\neg b)\to(\neg a))\to(((\neg b)\to a)\to b))</math>
שורה 36:
למשל ניתן להוכיח מהמערכת הזו ש <math>a \to a</math>
{|
|-
| 1|| <math>(a\to((a\to a)\to a))\to ((a\to(a\to a))\to (a\to a)) </math> || || כלל 2 בו הצבנו <math>c=a</math> ו <math>b=(a\to a)</math>
|-
|2 || <math>a\to((a\to a)\to a)</math> || || כלל 1 בו הצבנו <math>c=a</math> ו <math>b=(a\to a)</math>
|-
| 3 || <math>(a\to(a\to a))\to(a\to a)</math> || || [[מודוס פוננס]] של שורות 1 ו2.
|-
| 4 || <math>a\to(a\to a)</math> || || כלל 1 בו הצבנו <math>a=b</math>
|-
| 5 || <math>a\to a</math> || || מודוס פוננס של שורות 3 ו4.
|}
[[קטגוריה:לוגיקה]]
| |||