Search Details

Word: implicational propositional calculus (lookup usage) (lookup stats)


Meaning:

Noun:

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

Source: Wiktionary | Src Info »