propositional calculus
柯林斯词典
1. N the system of symbolic logic concerned only with the relations between propositions as wholes, taking no account of their internal structure 命题演算→compare predicate calculus
返回 propositional calculus
1. N the system of symbolic logic concerned only with the relations between propositions as wholes, taking no account of their internal structure 命题演算→compare predicate calculus