second-order logic
A formal system which extends first-order logic by allowing quantification over…A formal system which extends first-order logic by allowing quantification over relations between members of the universe.
Meaning
1 senses(uncountable, usually)A formal system which extends first-order logic by allowing quantification over relations between members of the universe.
Translations
1 languagesForms
plural: second-order logics| Singular | second-order logic |
|---|
uncountable
Lessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable