HomeServicesBlogDictionariesContactSpanish Course
← Back to search

Meaning of classical logic | Babel Free

Noun CEFR B2

Definitions

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

Equivalents

Examples

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

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Learn this word in context

See classical logic used in real conversations inside our free language course.

Start Free Course