请输入您要查询的英文单词:

 

单词 Implicational propositional calculus
释义
Implicational propositional calculus
  • 简明释义
  • 蕴涵命题演算(蕴涵命题演算是只用蕴涵或条件连结词的二值命题演算,用符号“→”表示)
  • 英英释义
  • abstract:
    • 1

      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 ...

随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/6 8:32:09