English Explanatory Dictionary

implicational propositional calculus

English dictionary entry

Meanings

noun
  1. A minimalist version of propositional calculus which uses only the logical connectives → ("implies") and ⊥ ("false").

Word forms

implicational propositional calculus

Related words

Peirce's law
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on I Russian dictionary Dahl dictionary