Classical propositional logic

Classical propositional logic interprets propositions as true or false and validates principles such as the law of excluded middle and double-negation elimination.

Table of contents
- Law of excluded middle Classical propositional logic
- Double-negation elimination Classical propositional logic

Law of excluded middle ( $A \lor \neg A$ )

The law of excluded middle asserts that every proposition

A

satisfies

A \lor \neg A

.

Double-negation elimination ( $\neg\neg A \to A$ )

Double-negation elimination is the inference from

\neg\neg A

to

A

.

 Ancestors (6)

 Incoming links (1)

Contrapositive

 View article source

 Discussion (0)

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.

  See all articles in the same topic Create my own version