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