minimal logic

The axioms and rules of propositional calculus for the classical logic induce the proposition p ∨ ¬p, called the principle of excluded middle, the proposition ¬¬p → p, called elimination of double negation and the proposition ((p → q) → … Read More