Definify.com

Definition 2024

second-order_logic

second-order logic

English

Noun

second-order logic ‎(uncountable)

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

Translations

Similar Results