לוגיקה מסדר שני – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
יצירת דף עם התוכן "בלוגיקה ובמתמטיקה, '''לוגיקה מסדר שני''' או '''שפה מסדר שני''' היא הרחבה של ה[[לוגיקה מסדר ..." |
מאין תקציר עריכה |
||
שורה 20:
== לוגיקה מונאדית מסדר שני ==
הלוגיקה המונאדית מסדר שני היא צמצום של השפה מסדר שני לאפשרות לכמת רק על תתי קבוצות (ולא על פונקציות ויחסים).
[[en:Second-order logic]]
[[קטגוריה: לוגיקה]]
| |||