תחשיב הפרדיקטים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
מאין תקציר עריכה |
||
שורה 1:
ב[[לוגיקה]] וב[[לוגיקה מתמטית]], '''תחשיב פרדיקטים''' הוא מערכת פורמלית לטיפול בפסוקים הכוללים [[
==הצרנה של פסוקים יסודיים==
|
אין תקציר עריכה |
מאין תקציר עריכה |
||
שורה 1:
ב[[לוגיקה]] וב[[לוגיקה מתמטית]], '''תחשיב פרדיקטים''' הוא מערכת פורמלית לטיפול בפסוקים הכוללים [[
==הצרנה של פסוקים יסודיים==
|