一阶谓词理.pptVIP

一阶谓词逻辑;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;4. 在个体域限制为（a）和（b）条件时，将下列命题符号化： （1）对于任意的x，均有x2－3x＋2＝(x－1)(x-2) （2） 存在x，使得x＋5＝3 其中： （a）个体域D1＝N（N为自然数集合） （b）个体域D2＝R（R为实数集合） 解：(a) 令F(x)：x2－3x＋2＝(x－1)(x-2)，G(x)： x＋5＝3。命题（1）的符号化形式为 ? x F(x) (*) 命题（2）的符号化形式为 ? x G(x) (**) 显然（1）为真命题，而（2）为假命题。 (b) 在D2内，（1）与（2）的符号化形式还是(*)和(**)式，（1）仍然为真命题，而此时（2）也为真命题。;*;*;*;*;*;*;*;*;*;*;*;在I 下，下列哪些公式为真？哪些为假？哪些的真值还不能确定？;解 为方便起见，用A，B，C分别记(1)，(2)，(3)中的公式。 ????(1)取解释I1:个体域为实数集合R，F(x):x是整数，G(x):x是有理数。在I1下A为真，因而A不是矛盾式。取解释I2:个体域仍然为R，F(x):x是无理数，G(x):x能表示成分数。在I2下A为假，所以A不是永真式。故A是非永真式的可满足式。 ????(2)易知B是命题公式p→(q→p)的代换实例，而该命题公式是重言式，所以B是永真式。 ????(3)C是命题公式┐(p→q)∧q的代换实例，而该命题公式是矛盾式，所以C是矛盾式。 ;*;*;*;*