English - English
Definition of first-order logic in English English dictionary
- first-order logic
- A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse
- First-order logic.
- predicate logic
- first-order logic.
- FOL
Related Terms
first-order logic
Hyphenation
first-order log-icSynonyms
folPronunciation
Resimler
History
Favorites