לוגיקה: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
בנציון יעבץ (שיחה | תרומות) אין תקציר עריכה |
|||
שורה 20: | שורה 20: | ||
טבלאות אמת - טבלה שבה מסמנים את ערכי האמת של כל משפט על סמך ערכי האמת של הפסוקים האטומיים. |
טבלאות אמת - טבלה שבה מסמנים את ערכי האמת של כל משפט על סמך ערכי האמת של הפסוקים האטומיים. |
||
==נכון או לא-נכון== |
|||
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:30%" |
|||
|- style="background:paleturquoise" |
|||
!style="width:10%"| נכון |
|||
!style="width:10%"| לא-נכון |
|||
!style="width:10%"| נכון או לא-נכון |
|||
|- |
|||
| נכון || לא-נכון || נכון |
|||
|- |
|||
| לא-נכון || נכון || נכון |
|||
|} |
|||
[[קטגוריה:לוגיקה]] |
[[קטגוריה:לוגיקה]] |
גרסה אחרונה מ־22:17, 28 ביולי 2021
לוגיקה הנה המדע שעוסק בתקפות טיעונים. חלקים נכבדים ממנה התפתחו בתקופה העתיקה של יוון עד לקפאון ימי הבינים. ב-100 השנים האחרונות חלה התפתחות אדירה בתחום בעקבות המחקרים של ראסל, פרגה וגדל. יש בה שני תחומים עיקריים:תחשיב הפסוקים ותחשיב היחסים (פרדיקטים).
תוכן העניינים[עריכה]
- מבוא לתחשיב הפסוקים
- תורת ההיסק בתחשיב הפסוקים
- הגדרת סימני השפה ותחבירה
- ערכי אמת, טאוטולוגיות וסתירות
- מבוא לתחשיב היחסים (פרדיקטים)
- תורת ההיסק בתחשיב היחסים (פרדיקטים)
- הרחבה וסיכום
תחשיב הפסוקים[עריכה]
מושגים:
טאוטולוגיה - משפט שתמיד נכון ללא קשר לתוכנו, לדוגמא: a או לא a.
קונטראדיקציה (סתירה) - משפט שתמיד לא נכון ללא קשר לתוכנו, לדוגמא: a וגם לא a.
טבלאות אמת - טבלה שבה מסמנים את ערכי האמת של כל משפט על סמך ערכי האמת של הפסוקים האטומיים.