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