עריסטו
Active member
נתבונן במשפט "אם המשפט הזה נכון, אז גרגמל קיים".
אם המשפט נכון, אז הטענה שבו (משפט נכון => גרגמל קיים) נכונה ולכן גרגמל קיים.
כלומר בהנחה שהמשפט נכון אז גרגמל קיים.
אבל זה בדיוק מה שטוען המשפט: שאם המשפט נכון אז גרגמל קיים.
כלומר הטענה שכתובה במשפט נכונה.או במלים אחרות - המשפט נכון.
אבל אם המשפט נכון, נובע מהמשפט שגרגמל קיים.
לכן - גרגמל קיים.
אם המשפט נכון, אז הטענה שבו (משפט נכון => גרגמל קיים) נכונה ולכן גרגמל קיים.
כלומר בהנחה שהמשפט נכון אז גרגמל קיים.
אבל זה בדיוק מה שטוען המשפט: שאם המשפט נכון אז גרגמל קיים.
כלומר הטענה שכתובה במשפט נכונה.או במלים אחרות - המשפט נכון.
אבל אם המשפט נכון, נובע מהמשפט שגרגמל קיים.
לכן - גרגמל קיים.