לוגיקה מודאלית-המשך

[Lucifer LightBringer]

מתברר שהיה איזה פילוסוף בשם CJ Lewis שהגדיר משהו "חדש" בלוגיקה מודאלית.
מה שנקרא strict implication לעומת מה שמתמטיקאים משתמשים רוב הזמן בשם material implication.
הוא משתמש בזה שקשר האימוז ("אם אז") שקול לפסוק שמערב את קשר השלילה ואת קשר ה"וגם" ("גימום").

חפשו במרשתתתתתתתת....