§4一般逻辑系统.pptVIP

§4一般逻辑系统 定义18.17:一个逻辑L是由下述集合所组成的系统：元素(称为命题)集P；函数集V(这些函数都是从P到某个值集W的，称为赋值.特别若|W|2则称L为多值逻辑系统);以及对应于P的每个子集A导出P中元素的有限序列集(称为由前提A得到的证明)。 例如：X上命题演算的逻辑，记为Prop(X)，它是由集合P=P(X)(X上自由命题代数)，所有的P(X)到Z2同态映射集V，以及满足定义18.13的证明集组成，后者包含从P(X)的每个子集A导出P(X)中元素的有限序列(称为由假设A得到的证明)集。 在逻辑L中，语义蕴含由赋值所定义，记号A╞p读成“A语义蕴含p”或称“p是A的后件”，语法蕴含由证明所定义，记号A┣p读成“A语法蕴含p”或称“p是A的推导”。若?╞p，则称p是L的重言式；若?┣p，则称p是L的定理。 定义18.18:如果A┣p必有A╞p，则称逻辑L是可靠的(sound)。 定义18.19:如果F不是L的定理，则称逻辑L是协调的(consistent)。 定义18.20:如果A╞p必有A┣p，则称逻辑L是完备的(complete)。 可靠性和完备性把真值和证明联系起来，而协调性则是纯语法性质，即任何逻辑都不会导致矛盾。 定义18.21:如果存在一个算法，对逻辑L的每个命题p，能在有限步内确定p是否为重言式，则称逻辑L是有效性可判定的。 定义18.22:如果存在一个