מה הנימוק ל-AB=AC ו-AC=AD אז AB=AD?

העברת שיווין

כלל המעבר

שואל השאלה:
תודה תודה

טרנזיטיביות

זו ודאות אווידנטית. כל הכללים היסודיים של הלוגיקה קשורים בה, הן חוקים כמו: חוק הזהות, חוק הסתירה, חוק השלישי הנמנע, והן כללי היסק כמו: מודוס פוננס, מודוס טולנס, וכו' (חשוב לציין שאלו לא חוקים לוגיים אלא כללי היסק). מאז קאנט וויטגנשטיין אנחנו מבינים שהודאות הזו קשורה בעולם הפנומנלי בהכרח. בתורת הקבוצות הנימוק הוא שבכל הקבוצות ab, ac, ad, יש את אותם איברים ובאותו סדר, וזה הנימוק של המתמטיקה בת זמננו.