找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 命题演算
命题演算是命题逻辑的公理化，任务是使用演算手段来讨论命题逻辑，有自然演算和公理演算两种方式。公理演算是给出公理，根据确定的推理规则推导出一系列重言式；自然演算不给出公理，利用一系列推理规则推出定理。 — 拼音 mìng tí yǎn suàn，更新 2026-07-13 20:17:46
| 拼音 | mìng tí yǎn suàn |
|---|---|
| 拼音字母 | ming ti yan suan |
| 首字母 | mtys |
| 注音 | ㄇㄧㄥˋ ㄊㄧˊ ㄧㄢˇ ㄙㄨㄢˋ |
| 注音符号 | ㄇㄧㄥ ㄊㄧ ㄧㄢ ㄙㄨㄢ |