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

proposition logic
人工智能	命题逻辑
英语 词库
proposition logic
缩写	assertion-level logic (ssn); propositional logic (ssn)