Classical logic is characterized by bivalence and the law of excluded middle.

the verdict

SUPPORTED

the evidence backs this

Recorded sources

3 sources for · 0 against

Counts group repeated records of the same source within each side. They do not measure evidence strength or source independence.

AS REPORTEDno primary record reached; this is what the reporting says

Is it true that classical logic is characterized by bivalence and the law of excluded middle?

Yes. Reference literature confirms that classical logic is characterized by bivalence (propositions being either true or false) and incorporates the law of excluded middle.

Verdict: SUPPORTED · 3 sources for, 0 against · Last checked 4 Aug 2026

How claims like this are judged

Judged against reference works: claims of this kind are settled by reference works, not journal abstracts.

Evidence for · 3

Wikipedia: Classical logic

Reference article covering this claim directly

Get citation

Wikipedia: Classical logic. (n.d.). Wikipedia. https://en.wikipedia.org/wiki/Classical_logic

See more details

More for · 2

Wikipedia: Law of excluded middle

Reference article covering this claim directly

Get citation

Wikipedia: Law of excluded middle. (n.d.). Wikipedia. https://en.wikipedia.org/wiki/Law_of_excluded_middle

Wikipedia: Logic

Reference article covering this claim directly

Get citation

Wikipedia: Logic. (n.d.). Wikipedia. https://en.wikipedia.org/wiki/Logic

Related receipts

Is it true that the law of excluded middle is incompatible with certain ontological views of existence? SUPPORTED related question, same topic
Is it true that paraconsistent logics successfully operate by suspending the classical law of explosion? SUPPORTED related question, same topic

also asked as

Is classical logic defined by bivalence and the law of excluded middle?
Does classical logic always feature bivalence and the law of excluded middle?
Are bivalence and the law of excluded middle defining traits of classical logic?
Do bivalence and the law of excluded middle characterize classical logic?

Receipt History

first checked04 Aug 2026

judged → SUPPORTED · 7504 Aug 2026

Anyone with this link can read the claim and its public receipt, including any personal information in that text. Open permanent receipt.

Check your own claim

Challenge the receipt

I have a source that contradicts this verdict I have a source that supports it No source: request a receipt review Requests are recorded for review. This does not start an automatic check or guarantee a response time.

Citation formatting by citeproc-js (Frank Bennett) and the Citation Style Language project. Source and licenses.

This receipt is an automated verdict against our published method · not an opinion about any author or publication.
Terms · Privacy · How verdicts work