implicational propositional calculus

Noun.  (logic) A minimalist version of propositional calculus which uses only the logical connectives o ("implies") and ot ("false").

This is an unmodified, but possibly outdated, definition from Wiktionary and used here under the Creative Commons license. Wiktionary is a great resource. If you like it too, please donate to Wikimedia.

This entry was last updated on RefTopia from its source on 3/20/2012.