Implicational propositional calculus

From testwiki
Revision as of 01:15, 24 June 2017 by imported>Equinox
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

English

Template:Wikipedia

Noun

Template:En-noun

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

Hypernyms

See also

Retrieved from "https://en.wiktionary.beta.math.wmflabs.org/w/index.php?title=Implicational_propositional_calculus&oldid=642"