查询结果
命题逻辑
mìng tí luó jí
ㄇㄧㄥˋ ㄊㄧˊ ㄌㄨㄛˊ ㄐㄧˊ
「命题逻辑」是什么意思？
更新 2026-07-18 18:44:05
- 拼音字母ming ti luo ji
- 首字母mtlj
- 注音符号ㄇㄧㄥ ㄊㄧ ㄌㄨㄛ ㄐㄧ
扩展释义
命题逻辑是指以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。相对于谓词逻辑，它是量化的并且它的原子公式是谓词函数；和模态逻辑，它可以是非真值泛函的。演算是用来证明有效的公式（就是说它的定理）和论证（argument）的逻辑系统。它是公理或公理模式的集合（它可以为空或是可数无限集合），和推导有效的推理的推理规则。形式文法（或语法）递归定义语言的表达式和合式公式（well-formed formula 经常缩写为wff）。此外给出定义真值和求值（或释义）的语义。它允许我们确定哪个 wff 是有效的（也就是定理）。
拆字组词
相关词语
- 中华杆白蚁查含义
- 二五查含义
- 佩罗维奇查含义
- 光叶红豆查含义
- 兀尺蛾查含义
- 内焰查含义
- 北京广播网查含义
- 千面狐查含义
- 好学生查含义
- 奸臣查含义
- 宁钢查含义
- 屯垦队镇查含义
- 左翼查含义
- 尘缘仙踪查含义
- 律师收费查含义
- 异地查含义
- 张世春查含义
- 张德英查含义
- 张元东查含义
- 招展杜鹃查含义
- 战鸽总动员查含义
- 断裂的铁杖查含义
- 最低照度查含义
- 汪为新查含义
- 测角器查含义
- 游霞查含义
- 熔岩穴查含义
- 真实感查含义
- 穿云豹查含义
- 空军中将查含义
- 秋血查含义
- 肖叶飞查含义
- 西藏阔蕊兰查含义
- 蓖麻毒蛋白查含义
- 赤水鼠耳芥查含义
- 赤城街道查含义
- 轻型战斗机查含义
- 铁嘴鸡查含义
- 雅温得查含义
- 震级查含义
- 黄瓜干查含义
- 麦青查含义
- 白鹤派出所查含义
- 小松田秀作查含义
- 宪麻吕查含义
- 冷非颜查含义
- 蜜汁烤排骨查含义
- 台湾笋螺查含义
- 柳叶紫苑查含义
- 山螺丝查含义