first-order logic
Noun
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
Noun
first-order logic
- (logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
- FOL
- 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