propositional calculusWiktionary 原文英美释义名词noun1(logic) Propositional logic.同族词派生词 1implicational propositional calculus