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