Jisho

×
二階述語論理
Links
Wikipedia definition
1. Second-order logic​In logic and mathematics second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory. First-order logic uses only variables that range over individuals (elements of the domain of discourse); second-order logic has these variables as well as additional variables that range over sets of individuals.
Read “Second-order logic” on English Wikipedia
Read “二階述語論理” on Japanese Wikipedia
Read “Second-order logic” on DBpedia

Discussions

to talk about this word.