当前查询结果是否对您有帮助
go top

网络释义专业释义

  [数] propositional calculus

“E-语言”这个术语可以指诸如 集合理论或命题演算propositional calculus)的人工系统,也可以指作为句子集合的的自然语言。E- 语言是无限的,而一个人的语言行为是有限的。

基于367个网页-相关网页

  statement calculus

英语词汇-数学词汇--词汇/语法-英语六级-英语-... ... statement语句 statement calculus命题演算 static friction静磨擦 ...

基于119个网页-相关网页

  calculus of proposition

教育学科行业专业英语第202页 ... 命题推演 propositional inference 命题演算 calculus of propositions 命题有限序列 prosequence ...

基于101个网页-相关网页

  [数] sentential calculus

数学专业 英语词汇17 ... sentence 命题 sentential calculus 命题演算 sentential connective 命题联结词 ...

基于73个网页-相关网页

短语

极小命题演算 minimal propositional calculus

命题演算系统 Propositional calculus system

蕴涵命题演算 implicational propositional calculus

模糊命题演算 Fuzzy Propositional Calculus

中介逻辑命题演算 Medium Logic Propositional Calculus

标准命题演算系统定理 standard proposition calculations system theorems

标准命题演算系统公理 standard proposition calculations system axioms

 更多收起网络短语

·2,447,543篇论文数据,部分数据来源于NoteExpress

新汉英大辞典

命题演算

  • {数} propositional calculus; sentential calculus; calculus of proposition
以上来源于:《新汉英大辞典》

双语例句

  • 本文讨论中介逻辑命题演算MP形式系统

    This paper deals with the formal system of propositional calculus of medium logic (MP).

    dict.cnki.net

  • 定量意义下使模糊命题演算完全包容经典命题逻辑不可能的。

    It is impossible for a quantitative fuzzy propositional logic to subsume classical propositional logic.

    dict.cnki.net

  • 建立基于FI-代数模糊命题演算形式演绎系统讨论系统语义完备性

    In this paper, we construct a kind of logic system based on FI-algebras, and discuss the (completeness) of this logic system with respect to the semantics based on FI-algebras.

    dict.cnki.net

更多双语例句

百科

命题演算

命题演算(逻辑学术语)是命题逻辑的公理化,任务是使用演算手段来讨论命题逻辑。可采用两种方法建立命题演算:自然演算和公理演算。 命题演算系统的代表:自然演算SN、公理化命题演算P。其中公理化命题演算P由德国逻辑学家D.希尔伯特和W.阿克曼在《数理逻辑基础》一书中提出。

详细内容

以上来源于: 百度百科
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定