查询结果
命题演算
mìng tí yǎn suàn
ㄇㄧㄥˋ ㄊㄧˊ ㄧㄢˇ ㄙㄨㄢˋ
「命题演算」是什么意思？
更新 2026-07-11 20:13:02
- 拼音字母ming ti yan suan
- 首字母mtys
- 注音符号ㄇㄧㄥ ㄊㄧ ㄧㄢ ㄙㄨㄢ
扩展释义
命题演算是命题逻辑的公理化，任务是使用演算手段来讨论命题逻辑，有自然演算和公理演算两种方式。公理演算是给出公理，根据确定的推理规则推导出一系列重言式；自然演算不给出公理，利用一系列推理规则推出定理。
拆字组词
相关词语
- 中原野战军查含义
- 低碳食品体系查含义
- 出语成章查含义
- 卵小体查含义
- 合庄村查含义
- 吃闲饭查含义
- 城发花园查含义
- 国营保国农场查含义
- 大婶查含义
- 妖酒查含义
- 夏侯懋查含义
- 奔放的旋律查含义
- 姚梦查含义
- 小乖查含义
- 宋林林查含义
- 层峦迭嶂查含义
- 开山查含义
- 怏怏查含义
- 救生设备查含义
- 放射性污染物查含义
- 杀手干探查含义
- 朴璐美查含义
- 李克恭查含义
- 服现役查含义
- 杨骅查含义
- 梦旅查含义
- 概观查含义
- 污染生物指数查含义
- 浅黄马先蒿查含义
- 满腹查含义
- 海天牛属查含义
- 爱情尤物查含义
- 球形的荒野查含义
- 王清菊查含义
- 硕大无朋查含义
- 粉底刷查含义
- 老太太查含义
- 结算日查含义
- 苏甦查含义
- 茶网查含义
- 藏布鳞毛蕨查含义
- 警报通信查含义
- 视频监控设备查含义
- 赵乃吉查含义
- 负链查含义
- 速卡查含义
- 通灵游戏查含义
- 巴嘎查含义
- 银叶树查含义
- 钱曼华查含义