EngToVietEnglish · Vietnamese

English dictionary

predicate calculus

Definitions, examples, synonyms and antonyms from WordNet 3.0.

noun

  1. a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

    noun.cognition

    Source: WordNet 3.0

Nearby words

Browse English words starting with P · Translate this word