לוגיקה: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
G-math-f (שיחה | תרומות)
אין תקציר עריכה
שורה 1:
{{ספר חלקי}}
לוגיקה הינה המדע שעוסק בהוכחהבתקפות והפרכת משפטיםטיעונים. חלקים נכבדים ממנה התפתחו בתקופה העתיקה של יוון אבלעד אזלקפאון היהימי בה קיפאוןהביניים.עם זאת ב-100 השנים האחרונות חלה התפתחות אדירה בתחום בעקבות המחקרים של ראסל, פרגה וגדל.
יש בה שני תחומים עיקריים:תחשיב פסוקיםהפסוקים ותחשיב יחסיםהיחסים(פרדיקטים).
 
 
==תוכן העניינים==
*[[/מבוא לתחשיב הפסוקים/]]
*[[/הגדרת סיני השפה ותחבירה/]]
*[[/ערכי אמת, טאוטולוגיות וסתירות/]]
*[[תורת ההיסק בתחשיב הפסוקים/]]
*[[/מבוא לתחשיב היחסים (פרדיקטים)/]]
*[[/הגדרת סימני השפה ותחבירה/]]
*[[/ערכי אמת, טאוטולוגיות וסתירות/]]
*[[תורת ההיסק בתחשיב היחסים (פרדיקטים)/]]
*[[/הרחבה וסיכום/]]