לוגיקה

מתוך ויקיספר, אוסף ספרי הלימוד והמדריכים החופשי.

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

[עריכה] תחשיב פסוקים

תחשיב פסוקים מושגים: טאוטולוגיה-משפט שתמיד נכון ללא קשר לתוכנו, לדוגמה: a או לא a. קונטרדיקציה (סתירה)- משפט שתמיד לא נכון ללא קשר לתוכנו, לדוגמה: a וגם לא a.

טבלאות אמת-טבלה שבה מסמנים את ערכי האמת של כל משפט על סמך ערכי האמת של הפסוקים האטומים.

[עריכה] נכון או לא נכון

נכון או לא נכון	לא נכון	נכון
נכון	לא נכון	נכון
נכון	נכון	לא נכון