网站首页  英汉词典

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

 

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

随便看

 

英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2024 encnc.com All Rights Reserved
更新时间:2025/6/19 21:19:43