many-valued logic
短语词形变化
many-valued logics
复数
释义与例句
n.
-
1.
A kind of non-classical propositional calculus whose semantics makes use of more than two truth values.
数学 哲学