implicational propositional calculus

English

Noun

implicational propositional calculus (uncountable)

(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

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.