Definition of First-order logic

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

¹ Source: wiktionary.com

Lexicographical Neighbors of First-order Logic

first-degree
first-degree burn
first-degree burns
first-degree murder
first-floor
first-footing
first-generation
first-half
first-hand
first-mover
first-name
first-nighter
first-order
first-order correlation
first-order kinetics
first-order logic (current term)
first-order reaction
first-order spectrum
first-party
first-past-the-post
first-person
first-person plural
first-person plurals
first-person shooter
first-person shooters
first-person singular
first-person singulars
first-place finish
first-rate

Other Resources:

Search for First-order logic on Dictionary.com!Search for First-order logic on Thesaurus.com!Search for First-order logic on Google!Search for First-order logic on Wikipedia!

Quick Links

Definitions of First-order logic
First-order logic Pictures
Nearby Words
More Information

Search