כלל היסק – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט מוסיף: ca:Regla d'inferència |
מ הגהה |
||
שורה 2:
כל מערכת היסק שהיא:
#כל [[אקסיומה]] המוכלת
#יש בה כלל היסק נאות (למשל [[מודוס פוננס]]).
#כריעות האקסיומות. (בשפה לא פורמאלית:"יש להם משמעות").
|