calculus of proposition

命题演算
常用释义
命题演算

同义词

命题演算
propositional calculus