go top

网络释义专业释义

  [数] propositional calculus

命题逻辑与谓词逻辑 命题逻辑(Propositional Logic或Sentential Logic)又称为命题演算Propositional Calculus)是这样一个形式逻辑,其中,表达命题的公式能够被通过用逻辑联结词将原子命题组织而成,而且一个形式证明规则系统允许某个公式被...

基于734个网页-相关网页

  statement calculus

... statement语句 statement calculus命题演算 static friction静磨擦 ...

基于238个网页-相关网页

  calculus of proposition

... 命题推演 propositional inference 命题演算 calculus of propositions 命题有限序列 prosequence ...

基于202个网页-相关网页

  [数] sentential calculus

... sentence 命题 sentential calculus 命题演算 sentential connective 命题联结词 ...

基于146个网页-相关网页

短语

命题演算系统 Propositional calculus system

模糊命题演算 Fuzzy Propositional Calculus

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

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

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

 更多收起网络短语
  • calculus of propositions - 引用次数:16

    参考来源 - 经典命题演算的能行方法研究
    propositional calculus - 引用次数:4

    参考来源 - 浅析弗雷格的真值理论
    deductive theorem - 引用次数:1

    参考来源 - L*系统中L*10的特点及应用
    sentential calculus
  • propositional calculus
  • propositional calculus

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

新汉英大辞典

命题演算

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

双语例句

  • 介绍命题逻辑演算方法

    This paper introduces a method for propositional logic calculation.

    www.dictall.com

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

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

    dict.cnki.net

  • MP~M系统中介逻辑系统基础建立起来用于处理数据库不完全信息三值逻辑命题演算系统

    MP~M is a 3-valued logic propositional calculus system which is based on the medium logic system, and it is used to deal with the incomplete information in the database.

    www.dictall.com

更多双语例句

百科

命题演算

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

详细内容

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

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

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