网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的词汇:

 

词汇 Implicational propositional calculus
分类 英语词汇 英语翻译词典
释义

Implicational propositional calculus

中文百科

蕴涵命题演算

在数理逻辑中,蕴涵命题演算是只使用叫做蕴涵或条件的一个连结词的经典(二值)命题演算。用公式表达,这个二元运算被指示为“implies” “如果 ..., 则 ...”, “→”, “\rightarrow \!”等等。

英语百科

Implicational propositional calculus 蕴涵命题演算

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 ..., then ...", "→", "\rightarrow \!", etc..

随便看

 

依恋情感网英汉例句词典收录3870147条英语例句词条,基本涵盖了全部常用英语单词的释义及例句,是英语学习的有利工具。

 

Copyright © 2004-2024 Yiyi18.com All Rights Reserved
京ICP备2021023879号 更新时间:2025/8/7 19:57:16