classical logic

短语

[计] 传统逻辑

词形变化

classical logics 复数 classical logics

释义与例句

n.
  1. 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.

    可数 不可数 数学 哲学

    The Lindenbaum-Tarski algebra of propositional classical logic is a Boolean algebra.