离散数学及其应用-02 一阶逻辑.ppt

*********另外，下面的等值式也称作量词辖域的扩缩律。(5)?xA(x)→B=?x(A(x)→B)(6)B→?xA(x)=?x(B→A(x))(7)?xA(x)→B=?x(A(x)→B) (8)B→?xA(x)=?x(B→A(x)) 2.3.1等值演算总结：(1)若量词辖域中是合取式或析取式，则不受约束的谓词公式可以直接进入和退出该辖域。(2)若量词辖域是条件命题的前件，则作为后件的不受约束的谓词公式不能直接进出该辖域。(3)若量词辖域是条件命题后件，则作为前件不受约束的谓词公式可以直接进出该辖域。2.3.1等值演算量词分配律