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