3-谓词逻辑新.pptVIP

第三章 谓词逻辑;第三章 谓词逻辑;§3.1 谓词逻辑的基本概念;§3.1.1 谓词和量词;§3.1.1 谓词和量词;§3.1.1 谓词和量词;§3.1.1 谓词和量词;§3.1.1 谓词和量词;§3.1.1 谓词和量词;§3.1.1 谓词和量词;§3.1.1 谓词和量词;§3.1.1 谓词和量词;§3.1.1 谓词和量词;§3.1.1 谓词和量词;§3.1.1 谓词和量词;§3.1.1 谓词和量词;§3.1.1 谓词和量词;§3.1.2 改名规则 ;§3.1.2 改名规则 ;§3.1.2 改名规则 ;§3.1.2 改名规则 ;例:;;§3.2 谓词公式 ;§3.2.1 公式 ;§3.2.1 公式 ;定义3.2.1 项;定义3.2.2 ;定义3.2.3 公式 ;§3.2.2 解释 ;§3.2.2 解释 ;例:;例:;;;§3.3 谓词公式的等价关系和蕴含关系 ;§3.3.1 公式的等价和蕴涵 ;§3.3.1 公式的等价和蕴涵 ;§3.3.1 公式的等价和蕴涵 ;§3.3.1 公式的等价和蕴涵 ;设G(x)是一元谓词符号，若公式?xG(x)是恒真公式，则这件事实可被叙述为如下的一个真命题：对任意一元谓词G(x)，命题?xG(x)都是真的。 但是，如果想把这个命题加以否定，则在谓词逻辑中是办不到的。因为： 1) 这个命题的否定，应该是如下命题：有一个一元谓词G(x)，使得命题?xG(x)是假的。 2) 公式?xG(x)的否定是公式?(?xG(x))。而后一个公式表示的命题是：公式?xG(x)是恒假的，亦即，对任意一元谓词G(x)，命题?xG(x)都是假的。 ;1)和2)所表示出的事实相差得太远了。发生这件事的原因是：用 “公式?xG(x)是恒真的”来表达命题 “对任意一元谓词G(x)，命题?xG(x)都是真的”是不确切的。确切地，后一个命题，应该用 “公式?G(?xG(x))是恒真的”来表达。  这个公式中，不仅有关于个体变量x的量词，而且有关于谓词变量(即谓词符号，亦即原子)的量词。由这样的公式组成的系统就称为高阶逻辑。高阶逻辑中，不仅判定问题不可解，甚至连一个完备的公理系统都没有。 ;;§3.4 范式 ;定义3.4.1 谓词逻辑中公式G称为前束范式，如果G有如下形状： Q1x1…QnxnM 其中 Qixi或者是?xi，或者是?xi，i=1，…，n，M是不含量词的公式，Q1x1…Qnxn称为首标，M称为母式。 例如， ?x?y?z(P(x，y)?Q(x，z)) ?x?y?zP(x，y，z);设G是公式，其中自由变量有且仅有一个x，记以G(x)，H是不含变量x的公式，于是有： 1) ?x(G(x)?H)=?xG(x)?H 1’) ?x(G(x)?H)=?xG(x)?H 2) ?x(G(x)?H)=?xG(x)?H 2’) ?x(G(x)?H)=?xG(x)?H 3) ?(?xG(x))=?x(?G(x)) 4) ?(?xG(x))=?x(?G(x)) ;1) 设I是G(x)和H的一个解释。若?x(G(x)?H)在I下取1值，则在I下，对任意x?D，G(x)?H都是真命题。若H是真命题，则?xG(x)?H是真命题；若H是假命题，则必然是对每个x?D，G(x)都是真命题，故?xG(x)取1值。所以?xG(x)?H在I下取1值。 若?x(G(x)?H)在I下取0值，则必有一个x0?D，使G(x0) ?H在I下取0值。故G(x0)为假命题，并且H为假命题。所以?xG(x)取0值。从而?xG(x)?H在I下取0值。 ;若I满足?(?xG( x))，则I弄假?xG(x)。故对任意x?D，G(x)都是假命题，从而?G(x)都是真命题，故I满足?x(?G(x)) 若I弄假?(?xG(x))，则I满足?xG(x)。故有x0?D，使得G(x0)是真命题。从而?G(x0)是假命题，故I弄假?x(?G(x))。;设G，H是两个公式，其中自由变量有且只有一个x，分别记以G(x)，H(x)，于是有： 1) ?xG(x)??xH(x)=?x(G(x)?H(x)) 2) ?xG(x)??xH(x)=?x(G(x)?H(x)) 3) ?xG(x)??xH(x)=?x?y(G(x)?H(y)) 4) ?xG(x)??xH(x)=?x?y(G(x) ?H(y)) ;设I是G(x)和H(x)的一个解释。若?xG(x)??xH(x)在I下取1值，则在解释I下，对任意x?D，G(x)、H(x)都是真命题，所以G(x)?H(x)是真命题，即对任意x?D， G(x)?H(x)是真命题，所以?x(G(x)?H(x))在I下取1值。 若?xG(x)??xH(x)在I下取0值，则?xG(x)为假，或?xH(x)为假，若?xG(x)为