Classical vs Intuitionistic Logic

What is Intuitionistic Logic?

A statement is true only if it can be proven.

What is the Law of Excluded Middle (LEM)?

For any statement A: A ∨ ¬A (A or not A) is always true — no middle option.

Which logic accepts the Law of Excluded Middle?

Classical logic accepts it

What does “excluded middle” mean?

There’s no third option between true and false.

What is Classical Logic?

Every statement is either true or false, even without proof.