[经济学]第2章谓词逻辑.ppt

裘国永 Logic programming 存在量词消去规则 (ES,Existential Specification) ?xA(x)├ A(c) 上式成立的条件是：① c是使A为真的特定的个体常元；② c不曾在A(x)中出现过；③ A(x)中除x外还有其他自由出现的个体变元时，不能用此规则。 在实数集上取F(x,y)为x＞y，若A(x)表示F(x,2)，则?xA(x)为真命题，2已在A(x)中出现过。若2取代x，得2＞2，这是假命题。出错的原因是违背了条件②。 谓词演算中推理的一般过程是： 先把带量词前提中的量词去掉，变为命题逻辑的推理，推出结果后，再把量词附加上去，得出谓词逻辑的结论。 为了避免出现错误，需要注意以下两点： (1) US、UG、ES、EG四个规则仅对谓词公式的前束范式适用。 (2) 要弄清去掉量词后，个体c是特定的还是任意的。有全称量词的前提和存在量词的前提，最好先引入存在量词的前提。 (4) G(s) 例2.15 证明苏格拉底三段论。 (1) ?x(F(x)?G(x)) (2) F(s)?G(s) (3) F(s) 假言推理，(2),(3) 前提引入 US，(1) 前提引入 证明 设F(x)：x是人，G(x)：x是要死的，s：苏格拉底，命题符号化为：?x(F(x)?G(x))，F(s) ├ G(s)。