classical logic

名词 n.
中文释义

英文释义

名词 n.
  1. A kind of logic based on the principles that each proposition has a truth value of either "true" or "false", but not both, and that if a proposition were to be both true and false or neither true nor false then a result would be that all propositions would be both true and false. countable,uncountable
    — The Lindenbaum-Tarski algebra of propositional classical logic is a Boolean algebra.

词形变化

classical logics plural

词汇关系

反义词
non-classical logic intuitionistic logic ternary logic
0 次浏览 数据来源: Wiktionary