基本属性
- 拼音字母ming ti yan suan
- 拼音首字母mtys
- 注音符号ㄇㄧㄥ ㄊㄧ ㄧㄢ ㄙㄨㄢ
扩展释义
命题演算是命题逻辑的公理化，任务是使用演算手段来讨论命题逻辑，有自然演算和公理演算两种方式。公理演算是给出公理，根据确定的推理规则推导出一系列重言式；自然演算不给出公理，利用一系列推理规则推出定理。
命题演算是什么意思？专家解读
918学习网·汉语词语词典
2026-07-11 07:06:27
「命题演算」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音：mìng tí yǎn suàn，注音：ㄇㄧㄥˋ ㄊㄧˊ ㄧㄢˇ ㄙㄨㄢˋ。