查询结果
命题演算
mìng tí yǎn suàn
ㄇㄧㄥˋ ㄊㄧˊ ㄧㄢˇ ㄙㄨㄢˋ
「命题演算」是什么意思？
更新 2026-07-11 19:40:47
- 拼音字母ming ti yan suan
- 首字母mtys
- 注音符号ㄇㄧㄥ ㄊㄧ ㄧㄢ ㄙㄨㄢ
扩展释义
命题演算是命题逻辑的公理化，任务是使用演算手段来讨论命题逻辑，有自然演算和公理演算两种方式。公理演算是给出公理，根据确定的推理规则推导出一系列重言式；自然演算不给出公理，利用一系列推理规则推出定理。
拆字组词
相关词语
- 亭榭查含义
- 保卫查含义
- 单季稻查含义
- 哀思如潮查含义
- 宝象查含义
- 宽宏大量查含义
- 小步查含义
- 尾斑光鳃鱼查含义
- 岳澎查含义
- 尚书省查含义
- 张培君查含义
- 拜泉县查含义
- 日照市教育局查含义
- 收集蘑菇查含义
- 擅长查含义
- 晕场查含义
- 机械磨损查含义
- 李立娟查含义
- 李氏斑粉蝶查含义
- 柯坪县查含义
- 杨金谷查含义
- 泗洲乡查含义
- 气象侦察查含义
- 汽车标准查含义
- 王桂江查含义
- 猇声狺语查含义
- 班德瑞查含义
- 直眉怒目查含义
- 空中使命查含义
- 续源查含义
- 芳野祐介查含义
- 西城岚湾查含义
- 豆麻查含义
- 赵浴辰查含义
- 贤圣查含义
- 镜装女骑士查含义
- 鲍枫查含义
- 龙西乡查含义
- 灵寿县教育局查含义
- 开平市公安局查含义
- 十两金查含义
- 与你一起查含义
- 蓝松石查含义
- 蒜炒五花肉查含义
- 老酸奶查含义
- 全脐螺属查含义
- 鳞翅目卷蛾科查含义
- 金玛利鱼查含义
- 调脉汤查含义
- 高普煦查含义