关于「命题演算」

拼音 mìng tí yǎn suàn，注音 ㄇㄧㄥˋ ㄊㄧˊ ㄧㄢˇ ㄙㄨㄢˋ。数据更新于 2026-07-16 11:34:57。

拼音字母	ming ti yan suan
拼音首字母	mtys
注音符号	ㄇㄧㄥ ㄊㄧ ㄧㄢ ㄙㄨㄢ
注音首符号	ㄇㄊㄧㄙ

扩展释义

命题演算是命题逻辑的公理化，任务是使用演算手段来讨论命题逻辑，有自然演算和公理演算两种方式。公理演算是给出公理，根据确定的推理规则推导出一系列重言式；自然演算不给出公理，利用一系列推理规则推出定理。

拆字组词

• 「命」字组词
• 「题」字组词
• 「演」字组词
• 「算」字组词

相关词语

• 上坪乡是什么意思？
• 中得是什么意思？
• 冈村孝子是什么意思？
• 刘育霞是什么意思？
• 华苘麻是什么意思？
• 卬头阔步是什么意思？
• 厚体盲花蜱是什么意思？
• 反符合是什么意思？
• 反应性控制是什么意思？
• 吕吉祥是什么意思？
• 土工是什么意思？
• 失效分析是什么意思？
• 夜岸鬼僧是什么意思？
• 宿志刚是什么意思？
• 快速治疗是什么意思？
• 投资界是什么意思？
• 日本特许厅是什么意思？
• 昌南是什么意思？
• 暗夜追踪者是什么意思？
• 李新兴是什么意思？
• 杜门塞窦是什么意思？
• 曹春晓是什么意思？
• 李伯春是什么意思？
• 松下兰是什么意思？
• 温柔地杀我是什么意思？
• 火行者是什么意思？
• 申银万国是什么意思？
• 碱性凝胶电泳是什么意思？
• 苍白球是什么意思？
• 苗鹏是什么意思？
• 贪财爹是什么意思？
• 赵一娜是什么意思？
• 豹澥路是什么意思？
• 赵继红是什么意思？
• 邵婷是什么意思？
• 郭永良是什么意思？
• 郭爱华是什么意思？
• 陳長文是什么意思？
• 韩洪超是什么意思？
• 食人巨蜂是什么意思？
• 鸟语花香是什么意思？
• 杜尔伯特县是什么意思？
• 鬼眼狂是什么意思？
• 日本婆是什么意思？
• 小公鸡下水是什么意思？
• 黑色姊妹花是什么意思？
• 合鳃鳗是什么意思？
• 城口华溪蟹是什么意思？
• 罗氏圆鲹是什么意思？
• 巴浆果是什么意思？