implicational propositional calculus

English - English

Definition of implicational propositional calculus in English English dictionary

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

Hyphenation

im·pli·ca·tion·al prop·o·si·tion·al cal·cu·lus