לוגיקה מתמטית – הבדלי גרסאות

מ
אין תקציר עריכה
מ
השיטה של הלוגיקה המתמטית לניתוח טענות היא כדלהלן:
# [[הצרנה]]: תרגום הטענות בשפה המדוברת לטענות בתחשיב שפה לוגי [[ריגורוזי]], נוקשה וחד משמעי - כאשר טענות אטומיות מסומנות באותיות לטיניות או יווניות. שני התחשיבים הנפוצים הם "[[תחשיב הפסוקים]]" הבסיסי ו"[[תחשיב הפרדיקטים]]" המתקדם שמאפשר לטפל גם בטענות מסוג "כל א' הוא ב'" או "קיים ג' כך ש...".
# ניתוח הטענות המוצרנות לפי [[אקסיומות הלוגיקה]] ("כללי המשחק"): עקרונות יסוד, כללי גרירה ו[[כלל היסק|כללי היסק]] (כללי היקש). שלב זה הוא לא יותר מאשר טיפול פורמלי ב[[מחרוזת (תכנות)|מחרוזות]] וניתן לביצוע במלואו, ללא מעורבות אדם, על ידי מחשב.
 
כך לדוגמה, את הטענות "כשאני שבע אני מאושר" ו"כשאני מאושר אני פוצח בשיר" ניתן לכתוב כך:
103

עריכות