first-order logic
Noun

first-order logic

  1. (logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
Synonyms
  • FOL
Translations
  • Spanish: lógica de primer orden



This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.002
Offline English dictionary