ויקיספר

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

עיון אינטראקטיבי בהיסטוריה
→ העריכה הקודמתהעריכה הבאה ←
תוכן שנמחק תוכן שנוסף
חזותיקוד ויקי
חורחה (שיחה | תרומות)
1,575 עריכות
אין תקציר עריכה
אין תקציר עריכה
שורה 1:
{{ספר חלקי}}
לוגיקה הינה המדע שעוסק בהוכחה והפרכת משפטים.חלקים נכבדים ממנה התפתחו בתקופה העתיקה של יוון אבל אז היה בה קיפאון.עם זאת ב-100 השנים האחרונות חלה התפתחות אדירה בתחום בעקבות המחקרים של ראסל, פרגה וגדל.
יש בה שתישני תחומים עיקריים:תחשיב פסוקים ותחשיב יחסים(פרדיקטים).
 
 
אוחזר מתוך "https://he.wikibooks.org/wiki/לוגיקה"