---
tag: ZMVBAY7ZZD
kind: concept
name: Implicational propositional calculus
sources:
  - wikipedia: en:5795043@r1341283122
    locator: Implicational propositional calculus
    note: adopted
    mention: wikipedia://en/5795043
    sections: [Summary]
same_as:
  wikidata: Q6007243
  wikipedia: Implicational propositional calculus
inventory: [PA6PVB6JNW]
---

## Summary

In mathematical logic, the **implicational propositional calculus** is a version of classical propositional calculus that uses only one connective, called [[implication or conditional|0NMG7W7Q11]]. In formulas, this [[binary operation|0580ZJSA3Q]] is indicated by "implies", "if ..., then ...", "→", "$\rightarrow$", etc..