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