second-order logic
AI In plain words
Writing a short explanation…
Written by a house AI from the entry below, in your language. The entry itself is the source.
second-order logic
noun second-order logics
- A formal system which extends first-order logic by allowing quantification over relations between members of the universe.
