• Home
  • first-order logic

first-order logic

collection of formal systems used in mathematics, philosophy, linguistics, and computer science

en-GB/ˈfɜːst - ˈɔːdə ˈlɒd͡ʒɪk/
en-US/ˈfɝst - ˈɑɹdɚ ˈlɑd͡ʒɪk/

Categories:

predicate logic