词条 | propositional calculus |
类别 | 英汉百科知识 |
释义 | 【propositional calculus】 中文:命题演算 【释文】:数理逻辑的基本组成部分。亦称句子演算。命题演算取简单的、未分析的命题,而且仅处理不含变项的命题。它把简单命题当作可取得真值或假值的整体,研究由简单命题构成的复合命题的逻辑形式以及它们之间的逻辑推理关系。 |
随便看 |
开放百科全书收录579518条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。