לוגיקה מסדר שניויקיפדיה האנציקלופדיה encyclopedia בלוגיקה ובמתמטיקה, לוגיקה מסדר שני או שפה מסדר שני היא הרחבה של הלוגיקה מסדר ראשון שמתקבלת על ידי הוספת כמתים על תתי קבוצות של המודל, על פונקציות ועל יחסים.
בלוגיקה ובמתמטיקה, לוגיקה מסדר שני או שפה מסדר שני היא הרחבה של הלוגיקה מסדר ראשון שמתקבלת על ידי הוספת כמתים על תתי קבוצות של המודל, על פונקציות ועל יחסים.