תורה אפקטיבית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ השחתה |
יוניון ג'ק (שיחה | תרומות) אין תקציר עריכה |
||
שורה 5:
* '''שפה''' שבה ניתן לנסח טענות בתורה. השפה מורכבת משני רכיבים:
:* '''אלפבית''': [[קבוצה סופית]] של סימנים.
:* '''טענות''': [[סדרה (מתמטיקה)|סדרות]] סופיות של סימנים מהאלפבית של התורה, שמצייתות לכללי [[תחביר]] מסוימים.
* '''אקסיומות''': טענות מסוימות בשפה של התורה.
* '''צעדי היקש''': צעד היקש מוגדר כ[[זוג סדור]] של קבוצה סופית של טענות (הנחות) וטענה כלשהי (מסקנה).
| |||