implicational propositional calculus

English

Noun

implicational propositional calculus (uncountable)

1. (logic) A minimalist version of propositional calculus which uses only the logical connectives $\to$ ("implies") and $\bot$ ("false").

Hypernyms

• propositional calculus

See also

• Peirce's law