查询结果
命题逻辑
mìng tí luó jí
ㄇㄧㄥˋ ㄊㄧˊ ㄌㄨㄛˊ ㄐㄧˊ
「命题逻辑」是什么意思？
更新 2026-07-12 22:37:28
- 拼音字母ming ti luo ji
- 首字母mtlj
- 注音符号ㄇㄧㄥ ㄊㄧ ㄌㄨㄛ ㄐㄧ
扩展释义
命题逻辑是指以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。相对于谓词逻辑，它是量化的并且它的原子公式是谓词函数；和模态逻辑，它可以是非真值泛函的。演算是用来证明有效的公式（就是说它的定理）和论证（argument）的逻辑系统。它是公理或公理模式的集合（它可以为空或是可数无限集合），和推导有效的推理的推理规则。形式文法（或语法）递归定义语言的表达式和合式公式（well-formed formula 经常缩写为wff）。此外给出定义真值和求值（或释义）的语义。它允许我们确定哪个 wff 是有效的（也就是定理）。
拆字组词
相关词语
- 三天查含义
- 乌合之师查含义
- 便携式氨氮仪查含义
- 博者不知查含义
- 单叶互生查含义
- 原子量查含义
- 后生异常查含义
- 国家代表查含义
- 国营企业查含义
- 固体润滑轴承查含义
- 增味剂查含义
- 夜愿查含义
- 大道至仙查含义
- 帕特里希奥查含义
- 尹传清查含义
- 张家口医学院查含义
- 怒鞭邪猿查含义
- 悠客查含义
- 我是丧尸查含义
- 总揽查含义
- 抚远查含义
- 无声的爱查含义
- 春不老查含义
- 李剑平查含义
- 松岭子镇查含义
- 杨勋硕查含义
- 江干查含义
- 火焰冲撞查含义
- 灵契查含义
- 笑颜查含义
- 突击任务查含义
- 胃扭转查含义
- 肥效查含义
- 能见度查含义
- 舒王查含义
- 薄叶碎米蕨查含义
- 薯叶藤查含义
- 裂叶牵牛查含义
- 裴亚锋查含义
- 西林桥查含义
- 过半查含义
- 通职者查含义
- 长桥新村查含义
- 雨山一村查含义
- 雪山寻踪查含义
- 风言俏语查含义
- 韦小春查含义
- 黑帮说唱组查含义
- 混合动力车查含义
- 冻品查含义