Implicational propositional calculus
- 蕴涵命题演算（蕴涵命题演算是只用蕴涵或条件连结词的二值命题演算，用符号“→”表示）
Implicational propositional calculus
-
abstract:
In mathematical logic, the implicational propositional calculus is a version of classical propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by "implies", "if ...
以上来源于:
WordNet