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

תוכן שנמחק תוכן שנוסף
בונגולים (שיחה | תרומות)
אין תקציר עריכה
שורה 1:
{{חלקי|00%}}
לוגיקה הינה המדע שעוסק בהוכחה והפרכת משפטים.חלקים נכבדים ממנה התפתחו בתקופה העתיקה של יוון אבל אז היה בה קיפאון.עם זאת ב-100 השנים האחרונות חלה התפתחות אדירה בתחום בעקבות המחקרים של ראסל, פרגה וגדל.
יש בה שתי תחומים עיקריים:תחשיב פסוקים ותחשיב יחסים(פרדיקטים).
שורה 21 ⟵ 22:
|| T || T|| F
|}
 
 
{{קצרמר}}