implicational propositional calculus definition

  • noun:
    • A minimalist form of propositional calculus which utilizes only the rational connectives ("implies") and ("false").

Related Sources

  • Cross Reference for "implicational propositional calculus"
29 votes

How would you define implicational propositional calculus?

All the definitions on AZdictionary were written by people just like you. Now's your chance to add your own!