英语 ⇄ 中文 俄语 德语 英语 +

proposition logic
数学	Aussagenlogik f (ssn)
英语 词库
proposition logic
缩写	assertion-level logic (ssn); propositional logic (ssn)