Definisi 'predicate calculus'

English to English
noun
1 a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) Terjemahkan
source: wordnet30

Visual Synonyms