go top

## 命题演算

### 网络释义专业释义

[数] propositional calculus

statement calculus

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

calculus of proposition

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

[数] sentential calculus

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

更多收起网络短语
• 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.

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

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

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

\$firstVoiceSent
- 来自原声例句