first-order logic

EnglishEdit

 
English Wikipedia has an article on:
Wikipedia

NounEdit

first-order logic (countable and uncountable, plural first-order logics)

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

SynonymsEdit

HypernymsEdit

TranslationsEdit