תשובה
האמת שאני מומחה קטן בנושא אבל אנסה לענות:
A -> B זה פסוק בשפה, או במערכת שאתה דן בה.
לדומגא: נניח A אומר ש "השמש זורחת", ו-B אומר "חם לי". אז A->B אומר "אם השמש זורחת אז חם לי". גם A גם B וגם A->B הם פסוקים, או אם תרצה טענות, שייתכן והם נכונים וייתכן ולא.
כלל היסק MP אומר: אם A->B נכון וגם A נכון אז B נכון. לדוגמא, אם נכון שהשמש זורחת ונכון שאם השמש זורחת אז חם לי, אז נכון שחם לי.
הנקודה שקצת קשה לעכל היא שכלל ההיסק חי מחוץ למערכת הטענות שבה אנו מטפלים. זה כלל שמגדיר את חוקי המשחק.
