noun ·Rare ·Advanced level

Definitions

Noun

1. 1
   The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse. uncountable
2. 2
   a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) wordnet

Synonyms

All synonyms

computational logic applicationsfirst-order logicformal reasoning toolsfunctional calculuslogical calculuspredicate logics

Antonyms

All antonyms

heuristic methodsheuristic reasoninginformal logicinformal reasoning