命题逻辑 Propositional calculus
（重定向自Propositional logic）
在逻辑和数学里，命题演算（或称句子演算）是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表「命题」的公式，以及允许某些公式建构成「定理」的一套形式「证明规则」。
| 单词 | propositional logic |
| 释义 |
propositional logic
英汉-汉英词典
命题逻辑
词组 | 习惯用语
您要查找的是不是：prepositional logic 前置逻辑；命题逻辑 Lukasiewicz propositional logic Lukasiewicz命题逻辑 modal propositional logic 模态命题逻辑 two-valued propositional logic 二值命题逻辑 Boolean propositional logic 布尔命题逻辑；是常用的布尔命题逻辑 Fuzzy Propositional Logic 模糊命题逻辑 disturbing fuzzy proposition logic 扰动模糊逻辑 deterministic propositional dynamic logic 确定性命题逻辑 Lukasiewicz propositional logic system Lukasiewicz命题逻辑系统 propositional logic [数][计] 命题逻辑
中文百科
命题逻辑 Propositional calculus（重定向自Propositional logic）
在逻辑和数学里，命题演算（或称句子演算）是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表「命题」的公式，以及允许某些公式建构成「定理」的一套形式「证明规则」。
英语百科
Propositional calculus 命题逻辑（重定向自Propositional logic）
Propositional calculus (also called propositional logic, sentential calculus, or sentential logic) is the branch of mathematical logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components. Logical connectives are found in natural languages. In English for example, some examples are "and" (conjunction), "or" (disjunction), "not” (negation) and "if" (but only when used to denote material conditional).
近义、反义、联想词
近义词n.symbolic logic, mathematical logic, formal logic
英英词典
propositional logic n.
synonymous： propositional calculus |
| 随便看 |
|
英汉双解词典包含3607232条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。