Implicational propositional calculus

In mathematical logic, the implicational propositional calculus is a version of classicalpropositional calculus that uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by "implies", "if ..., then ...", "→", "${\displaystyle ightarrow }$", etc..