第一章-命题逻辑3.pptx

数理逻辑;;1.3 等值演算 ; ;定理：设A是公式，B1是A的子公式，若B1?B2，则A? [B1/B2]A。 证明： 由于B1?B2，所以，v(B1)= v(B2) 。 选一个不在公式A中出现的命题变元p。令p 取代公式A中的B1而得公式为A，则有： [p/B1]A=A， [p/B2]A= [B1/B2]A。 下面证明[p/B1]A= [p/B2]A。; 对任意赋值v，有 v([p/B1]A) = v([p/v(B1)]A) v([p/B2]A)= v( [p/v(B2)]A) 根据条件有v( [p/v(B1)]A)= v([p/v(B2)]A)。 所以v( [p/B1]A)= v( [p/B2]A) 即v(A)= v( [B1/B2]A)。 故有A? [B1/B2]A。 证毕。;等值式模式(演算规则);;等值式模式（续）;等值式模式（续）;等值式模式（续）;;例：证明(p?r) ? (q ? r) ? (p?q) ?r 证明 (p?r) ?(q ? r) ?(?p?r) ?(?q ?r) A→B??A∨B ?(?p ? ?q ) ? ?p ?r ? ?q ?r ? r ?r 分配律 ?(?p ? ?q ) ? ?p ?r ? ?q ?r ? r 幂等律 ?(?p ? ?q ) ?r 吸收律 ? ?(p?q) ?r 摩根律 ? (p?q) ?r A→B??A∨B;例：证明 p?(q ? r) ?(p ?q) ? (p ?r) 证明： p?(q ? r) ? ? p ?(q ? r) A→B??A∨B ? ? p ? ? q ? r A→B??A∨B ? ? p ? ? q?(p ? ? p ) ? r 排中律 ? ? p ? ? q?p ? ? q ? ? p ? r 分配律 ? ? p ? ? q?p ? r 吸收律 ? ? q?p ? ? p ? r 交换律 ? ?(? p ?q) ? ? p ? r 摩根律 ? ?(p ?q) ? (p ?r) A→B??A∨B ?(p ?q) ? (p ?r) A→B??A∨B;例1.6用等值演算证明p⊕(q∧r)→p∨q∨r是永真式。 证明 p⊕(q∧r)→p∨q∨r ? ?(p⊕(q∧r))∨p∨q∨r ? ?((p∧?(q∧r))∨(?p∧(q∧r)))∨p∨q∨r ? ?(p∧?(q∧r))∧?(?p∧(q∧r))∨p∨q∨r ?(?p????(q∧r))∧(??p∨?(q∧r))∨p∨q∨r ?(?p∨(q∧r))∧(p∨?q∨?r)∨p∨q∨r ?(?p∨(q∧r)∨p∨q∨r)∧(p∨?q∨?r∨p∨q∨r) ?(?p∨p∨(q∧r)∨q∨r)∧(p∨?q∨p∨q∨r∨?r) ?(1∨(q∧r)∨q∨r)∧(p∨?q∨p∨q∨1) ? 1∧1? 1