תנו לגדול בשקט

בתשובה לגדי אלכסנדרוביץ', 16/07/05 16:01

מינוס אחד

317210

אורי גוראל-גורביץ' • בתשובה לגדי אלכסנדרוביץ'

שבת, 16/7/2005, 16:41

זה תלוי במערכת המדויקת בה עובדים. במערכת עם כלל היסק אחד (מודוס פונס) מקובל להניח את האקסיומה

A->(~A->B)

לכל A ו-B.
אם הוכחת את A וגם את ~A שתי גזירות נותנות לך את B (לכל B שהוא).

במערכות עם הרבה כללי גזירה (ובלי אקסיומות) יש בדרך כלל את הכלל

A->B ' A->~B
----------------------
A

בשני המקרים, מדובר בעצם בהנחת המבוקש: מניחים שסתירה משמעה שאחת ההנחות שלך שגויה.
אפשר לא להוסיף את האקסיומה/ כלל גזירה הנ"ל ולקבל תורות לא טריויאליות עם סתירה. אני לא יודע אם זה מענין או למה זה טוב.

חזרה לעמוד הראשי

המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
RSS מאמרים \| כתבו למערכת \| אודות האתר \| טרם התעדכנת \| ארכיון \| חיפוש \| עזרה \| תנאי שימוש והצהרת נגישות	© כל הזכויות שמורות