《离散数学-合式公式和谓词推理》由会员分享，可在线阅读，更多相关《离散数学-合式公式和谓词推理（10页珍藏版）》请在金锄头文库上搜索。
2-3 谓词公式 与翻译,定义： 谓词演算的合式公式,（1）原子谓词公式是合式公式。 （2）若A是合式公式，则A是一个合式公式。 （3）若A和B都是合式公式，则(AB)，(A B)，(A B)和(A B)是合式公式。 （4）如果A是合式公式，x是A中出现的任何变元，则( x)A和( x)A都是合式公式。 （5）只有经过有限次地应用规则(1)、(2)、 (3)、(4)所得到的公式是合式公式。,2-7 谓词演算的推理理论,（1）全称指定规则，它表示为US,( x) P (x) P (c)这里P是谓词，而C是论域中某个任意的客体。,（2）全称推广规则，它表示为UG,P (x) ( x) P (x)这个规则是要对命题量化，如果能够证明对论域中每一个客体C断言P(c)成立。,（3）存在指定规则，它表示为ES,( x) P (x) P (c)C是论域中的某些客体，必须注意，其指定的客体C不是任意的。,（1）存在推广规则，它表示为EG,P (c) ( x) P (x)这里C是论域中的一个客体，对于某些客体C成立。,命题演算中的P、T和CP规则等亦可在谓词推理理论中应用,
