一阶逻辑基本概念.pptVIP

2021/3/8 2021/3/8 一阶公式的分类 定义4.8 永真式、永假式、可满足式 设A为一个公式，若A在任何解释下均为真，则称A为永真式(或称逻辑有效式)。 设A为一个公式，若A在任何解释下均为假，则称A为矛盾式(或永假式)。 设A为一个公式，若至少存在一个解释使A为真，则称A为可满足式。 永真式一定是可满足式，但可满足式不一定是永真式。 在一阶逻辑中，到目前为止，还没有找到一种可行的算法，用来判断任意一个公式是否是可满足的，这与命题逻辑的情况完全不同。 但对某些特殊的公式还是可以判断的。 说明 2021/3/8 例题(续) （3）在美国留学的学生未必都是亚洲人 设A(x)：x是亚洲人； H(x)：x是在美国留学的学生，则： ┐(?x)(H(x)→A(x)) 或者 (?x)(H(x)∧┐A(x))； （4）每个实数都存在比它大的另外的实数 设R(x)：x是实数；L(x, y)：x小于y，则： (?x)(R(x)→(?y)(R(y)∧L(x, y))； 2021/3/8 例题(续) （5）尽管有人很聪明，但未必一切人都聪明 设M(x)：x是人；C(x)：x很聪明，则： (?x)(M(x)∧C(x))∧ ┐(?x)(M(x)→C(x))； （6）对