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

תחש נהרות קאריבי, תחש נהרות קריבי, תחש קצר⁻שיער, תחשאים, תחשיב אינדקסים, תחשיב הפסוקים, תחשיב הפרדיקטים, תחשיב יחסים, תחשיב למבדא, תחשיב למדא