DictionaryAI

second-order logic

Short definition from Wiktionary

Noun

  1. A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

We haven’t written up second-order logic yet: Simple and Standard meanings, examples and a quiz.