first-order logic love

first-order logic

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.

Etymologies

Sorry, no etymologies found.

Examples

Sorry, no example sentences found.

Wordnik is becoming a not-for-profit! Read our announcement here.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.