על מנת לערוך סיכומים נדרש לפתוח חשבון.
בדידה tau - לוגיקה: הבדלים בין גרסאות בדף
קפיצה לניווט
קפיצה לחיפוש
אין תקציר עריכה |
מ (תיקון שגיאות כתיב) |
||
שורה 8: | שורה 8: | ||
* כמתים | * כמתים | ||
* תחשיב פרדיקטים | * תחשיב פרדיקטים | ||
* | * טאוטולוגיה | ||
* אינדוקציה | * אינדוקציה | ||
* כללי דה- | * כללי דה-מורגן | ||
====פרטים נוספים==== | ====פרטים נוספים==== |