transcription, транскрипция: [ noun ]
Date: 1903
: the branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only — called also sentential calculus — compare predicate calculus
PROPOSITIONAL CALCULUS
Meaning of PROPOSITIONAL CALCULUS in English
Merriam-Webster's Collegiate English vocabulary. Энциклопедический словарь английского языка Merriam Webster. 2003