Domain of discourse Uncommon

Definition, synonyms and related words

Definitions

Noun

In predicate logic, an indication of the relevant set of entities that are being dealt with by quantifiers.

See Also

existential instantiation first order logic context vacuous truth quantifier entity controlled vocabulary predicate calculus

Related Terms

existential instantiation first order logic context vacuous truth quantifier entity controlled vocabulary predicate calculus

Rhyming Words

rse arse erse orse morse terse barse carse norse torse birse zorse gorse perse corse farse marse worse sarse parse

Compare