Log in or Sign up
first-order logic love

first-order logic

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun logic 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.

Support

Help support Wordnik (and make this page ad-free) by adopting the word first-order logic.

Examples

    Sorry, no example sentences found.

Log in or sign up to add your own related words.

synonyms (1)

Words with the same meaning

  1. FOL

hypernyms (1)

Words that are more generic or abstract

  1. predicate logic

Comments

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