Category:Classical Propositional Calculus

Classical Propositional Calculus is a system of propositional logic which is based upon Aristotelian logic, whose philosophical tenets state that:

• A statement must be either true or false, and there can be no middle value.

• A statement can not be both true and not true at the same time, that is, it may not contradict itself.

This school of philosophy forms the basis of mainstream mathematics, although, for example, mathematicians of the intuitionist school do not accept the Law of the Excluded middle value.