Vi fant 1 definisjoner av first-order logic på engelsk.
Substantiv |
||
| first-order logic - A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse. |