implicational propositional calculus

English

English Wikipedia has an article on:

implicational propositional calculus

Wikipedia

Noun

implicational propositional calculus (uncountable)

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

Hypernyms

• propositional calculus

See also

• Peirce's law