הבדלים בין גרסאות בדף "לוגיקה מסדר שני"

אין תקציר עריכה
מ (בוט: מעביר קישורי בינויקי לויקינתונים - d:q1548746)
ב[[לוגיקה]] וב[[מתמטיקה]], '''לוגיקה מסדר שני''' או '''שפה מסדר שני''' היא הרחבה של ה[[לוגיקה מסדר ראשון]] שמתקבלת על ידי הוספת [[כמת (לוגיקה)|כמתים]] על תתי קבוצות של ה[[מודל (לוגיקה מתמטית)]], על [[פונקציה|פונקציות]] ועל [[יחס|יחסים]].
 
== יכולת ביטוי ==
משתמש אלמוני