לוגיקה: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
|||
שורה 5: | שורה 5: | ||
==תוכן העניינים== |
==תוכן העניינים== |
||
*[[/מבוא לתחשיב הפסוקים/]] |
*[[/מבוא לתחשיב הפסוקים/]] |
||
⚫ | |||
*[[/הגדרת סימני השפה ותחבירה/]] |
*[[/הגדרת סימני השפה ותחבירה/]] |
||
*[[/ערכי אמת, טאוטולוגיות וסתירות/]] |
*[[/ערכי אמת, טאוטולוגיות וסתירות/]] |
||
⚫ | |||
*[[/מבוא לתחשיב היחסים (פרדיקטים)/]] |
*[[/מבוא לתחשיב היחסים (פרדיקטים)/]] |
||
*[[/הגדרת סימני השפה ותחבירה/]] |
|||
*[[/ערכי אמת, טאוטולוגיות וסתירות/]] |
|||
*[[/תורת ההיסק בתחשיב היחסים (פרדיקטים)/]] |
*[[/תורת ההיסק בתחשיב היחסים (פרדיקטים)/]] |
||
*[[/הרחבה וסיכום/]] |
*[[/הרחבה וסיכום/]] |
גרסה מ־03:47, 15 באוגוסט 2016
לוגיקה הנה המדע שעוסק בתקפות טיעונים. חלקים נכבדים ממנה התפתחו בתקופה העתיקה של יוון עד לקפאון ימי הבינים. ב-100 השנים האחרונות חלה התפתחות אדירה בתחום בעקבות המחקרים של ראסל, פרגה וגדל. יש בה שני תחומים עיקריים:תחשיב הפסוקים ותחשיב היחסים (פרדיקטים).
תוכן העניינים
- מבוא לתחשיב הפסוקים
- תורת ההיסק בתחשיב הפסוקים
- הגדרת סימני השפה ותחבירה
- ערכי אמת, טאוטולוגיות וסתירות
- מבוא לתחשיב היחסים (פרדיקטים)
- תורת ההיסק בתחשיב היחסים (פרדיקטים)
- הרחבה וסיכום
תחשיב הפסוקים
מושגים:
טאוטולוגיה - משפט שתמיד נכון ללא קשר לתוכנו, לדוגמא: a או לא a.
קונטראדיקציה (סתירה) - משפט שתמיד לא נכון ללא קשר לתוכנו, לדוגמא: a וגם לא a.
טבלאות אמת - טבלה שבה מסמנים את ערכי האמת של כל משפט על סמך ערכי האמת של הפסוקים האטומיים.
נכון או לא-נכון
נכון | לא-נכון | נכון או לא-נכון |
---|---|---|
נכון | לא-נכון | נכון |
לא-נכון | נכון | נכון |