Dictionary
Translation
Tools
Word list
Emoticon dictionary
Firefox search plugin
VDict bookmarklet
VDict on your site
About
About
FAQ
Privacy policy
Contact us
Options
Change Typing Mode
Delete history
View history
Tiếng Việt
Lookup
Lookup
English - English (Wordnet)
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese
Enter text to translate (200 characters maximum)
Translate now
Translate now
Search in:
Word
Vietnamese keyboard:
Off
Virtual keyboard:
Show
Translation
powered by
English - English (Wordnet) dictionary
(also found in
Computing (FOLDOC)
)
predicate calculus
Jump to user comments
Noun
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Related search result for
"predicate calculus"
Words contain
"predicate calculus"
in its definition in
English - English (Wordnet) dictionary:
predicate
categorematic
verb phrase
major premiss
immediate constituent
major premise
major term
hypozeugma
categorem
categoreme
more...
Comments and discussion on the word
"predicate calculus"