כלל היסק – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ רובוט מוסיף: de, es, it, ja, nl, sv, zh |
תיקון קישור לדף פירושונים |
||
שורה 32:
</div>
ניתן לבנות כל [[טאוטולוגיה (לוגיקה)|טאוטולוגיה]] בעזרת מערכת ההיסק הזו.
למשל ניתן להוכיח מהמערכת הזו ש a-->a
| |||