higher-order logic

form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics

en-US/ˈhaɪɚ - ˈɑɹdɚ ˈlɑd͡ʒɪk/
en-GB/ˈhaɪə - ˈɔːdə ˈlɒd͡ʒɪk/

Kategorie:

predicate logic