first-order C2 Topic:Mathematics & Measurement US /ˌfɜrstˈɔrdər/ UK /ˌfɜːstˈɔːdə/ See IPA manual Meanings 1 adj belonging to the first level, degree, or order; in logic, quantifying over individuals rather than predicates The course introduces first-order logic after propositional logic. Thesaurus Synonyms 1 adj · belonging to the first... primaryfirst-level ↔ Opposites second-order Word family Related forms orderlogic Etymology Compound of first + order. Topics Mathematics & Measurement External links Cambridge Dictionary Wiktionary Google Images # first-order **Type:** Word **Level:** C2 **Part of speech:** adj **IPA (US):** /ˌfɜrstˈɔrdər/ **IPA (UK):** /ˌfɜːstˈɔːdə/ ## Meanings 1. belonging to the first level, degree, or order; in logic, quantifying over individuals rather than predicates ## Examples - The course introduces first-order logic after propositional logic. ## Synonyms - primary - first-level ## Antonyms - second-order ## Related Forms - order - logic ## Etymology Compound of first + order. ## Topics - Mathematics & Measurement markdown