classical logic

English

classical logic (countable and uncountable, plural classical logics)

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.

单词	classical logic
释义	classical logic English Noun classical logic (countable and uncountable, plural classical logics) 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.* Antonyms non-classical logic intuitionistic logic ternary logic Hyponyms Boolean logic
随便看	descolonitzaríem descolonitzaríeu descolonitzat descolonitzats descolonitzava descolonitzaven descolonitzaves descolonitzem descolonitzen descolonitzes descolonitzessin descolonitzessis descolonitzeu descolonitzi descolonitzin descolonitzis descolonitzo descolonitzà descolonitzàrem descolonitzàreu descolonitzàvem descolonitzàveu descolonitzés descolonitzéssim descolonitzéssiu