命题逻辑
【拼音】：mìng tí luó jí
【繁体】：命題邏輯
【英语】：propositional logic
【拼音】：mìng tí luó jí
英语proposition logicpropositional logic
法语calcul des propositions
网友释义命题逻辑是指以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。相对于谓词逻辑，它是量化的并且它的原子公式是谓词函数；和模态逻辑，它可以是非真值泛函的。演算是用来证明有效的公式（就是说它的定理）和论证（argument）的逻辑系统。它是公理或公理模式的集合（它可以为空或是可数无限集合），和推导有效的推理的推理规则。形式文法（或语法）递归定义语言的表达式和合式公式（well-formedformula经常缩写为wff）。此外给出定义真值和求值（或释义）的语义。它允许我们确定哪个wff是有效的（也就是定理）。
读音:mìng
[mìng]
(1)（名）生命；性命。
(2)（名）命运
(3)（名）：算～。
(4)（名）（动）命令
(5)（名）；指派：～驾。
(6)（名）（名）命令
(7)（名）；指示：奉～｜待～。
(8)（名）（动）给与（名称等）：～名｜～题。
读音:tí
[tí]
(1)（名）头额。
(2)（名）题目：标～｜本～。
(3)（动）写上；签：～名｜～诗。
(4)（Tí）姓。
读音:luó
[luó]
（动）巡察：巡～｜～骑｜～卒。
读音:jí
[jí]
1. 聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。
2. 聚集很多材料而成的书刊：丛书第一辑。
3. 和，和睦：辑睦。
4. 敛，拖着不便脱落。
5. 古同“缉”，连缀。
6. 古代称协调驾车的众马。
