Concept

Implicational propositional calculus

Overview

In mathematical logic, the implicational propositional calculus is a version of classical propositional calculus that uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by "implies", "if ..., then ...", "→", "

→

{\displaystyle \rightarrow }

", etc..

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Falsifiability
• If and only if
• Compactness theorem
• Propositional variable
• Formula
• Logical equivalence
• Logical connective
• Propositional logic
• Modus ponens
• Mathematical logic
• Natural number
• False (logic)
• Rule of inference
• Jan Łukasiewicz
• Completeness (logic)
• Logical consequence
• Formal system
• Tautology (logic)
• Peirce's law
• Deduction theorem
• Functional completeness
• Classical logic
• Truth function
• Material conditional

Place in the tradition

Part of Paraconsistent logic.

Explore Implicational propositional calculus in the interactive graph →