English Explanatory Dictionary

first-order logic

English dictionary entry

Meanings

noun
  1. A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.

Word forms

first-order logic first-order logics

Synonyms

FOL
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on F Russian dictionary Dahl dictionary