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