New HSK word(s):
0 synsets(s):
Old HSK Chinese word(s):
2 synsets(s): Prädikatrechnung + Prädikatenlogik +
OLD_HSK German word(s):
2 synsets(s): predicate calculus + functional calculus +
OLD_HSK English word(s):
synsets(s):
OLD_HSK French word(s):
0 synsets(s):
OLD_HSK Spanish word(s):
0 synsets(s):
OLD_HSK Italian word(s):
synsets(s):
OLD_HSK Thai word(s):
synsets(s):
OLD_HSK Finnish word(s):
(Quellenhinweis: Die deutschen Merkwörter stammen von taeglich.chinesisch-trainer.de)
Grade E word(s):
Wordnet Core Senses: Adjectives, Verbs, Nouns:
06165364-n eng:def: a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
06165364-n predicate calculus + 06165364-n functional calculus +
06165364-n + +
ASL: functional calculus 
functional calculus
DSG:
Multi-Lingual Sentence(s):
3000 MCC Sätze ( oder: 10000 Experten-Sätze) +
Semantische Felder:
