资源描述：
《《谓词逻辑公式》PPT课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、一阶(谓词)逻辑量词谓词、函数个体词个体域全总个体域:世界上的万事万物特性谓词:表示所关注的对象的性质2021/7/221一阶逻辑苏格拉底三段论重新符号化：,,F(),x,a设：F(x)：x是人。G(x)：x是要死的。a：苏格拉底。前提：x(F(x)G(x))，F(a)结论：G(a)凡人都是要死的。苏格拉底是人。所以，苏格拉底是要死的。2021/7/222一阶逻辑注意：在论域不同时，命题符号化的形式也不同若未给出论域，则以全总个体域为论域论域确定后，使用全称量词与存在量词符号化形式不同多个量词同时出现时，不能随意颠倒次序xy(x≤y)xy(x≤y
2、)2021/7/223一阶逻辑谓词演算的形式系统字母表公式公理推理规则形式语言形式推理2021/7/224一阶逻辑一阶语言与一阶逻辑一阶语言是用于一阶逻辑的形式语言一阶逻辑是建立在一阶语言上的逻辑体系2021/7/225一阶逻辑一阶语言谓词演算形式系统语言项（合式）公式非逻辑符号逻辑符号2021/7/226一阶逻辑非逻辑符号个体常元:a,b,c,…,a1,b1,c1,…函数符号:f,g,h,…,f1,g1,h1,…谓词符号:F,G,H,…,F1,G1,H1,…把函数和谓词中的变元直接写到符号后的括号中,如F(x,y,x),g(x,y)等非逻辑符号集合常记为L20
3、21/7/227一阶逻辑逻辑符号个体变元:x,y,z,…,x1,y1,z1,…量词符号:,联结词符号:,,,,括号与逗号:(,),，2021/7/228一阶逻辑字母表个体常元:a,b,c,…,a1,b1,c1,…函数符号:f,g,h,…,f1,g1,h1,…谓词符号:F,G,H,…,F1,G1,H1,…个体变元:x,y,z,…,x1,y1,z1,…量词符号:,联结词符号:,,,,括号与逗号:(,),，2021/7/229一阶逻辑L生成的一阶语言个体常元:a,b,c,…,a1,b1,c1,…函数符号:f,g,h,…,f1,g1,h1,…
4、谓词符号:F,G,H,…,F1,G1,H1,…非逻辑符号并不一定都出现一阶语言随着非逻辑符号的不同而不同，称为由非逻辑符号集合L生成的一阶语言。2021/7/2210一阶逻辑L生成的一阶语言举例如：非逻辑符号个体常元:0函数符号:+L1={0,+}如：非逻辑符号个体常元:0，1函数符号:+,*L2={0,1,+,*}2021/7/2211一阶逻辑L生成的一阶语言说明非逻辑符号与所描述的特定对象有关。逻辑符号是逻辑系统中的符号。一阶逻辑研究一阶语言的一般性质，而不是针对某个特定的一阶语言。对一个具体的应用而言，L通常是不言自明的，由使用的全部非逻辑符号组成。202
5、1/7/2212一阶逻辑一阶(firstorder)逻辑的合式公式项原子公式合式公式2021/7/2213一阶逻辑项(term)个体常项和个体变项是项若(x1,x2,…,xn)是n元函数,t1,t2,…,tn是项,则(t1,t2,…,tn)是项所有的项都是有限次地应用上述规则形成的例如:a,x,f(a),g(a,x),g(x,f(a))2021/7/2214一阶逻辑原子公式(atomicformula)若R(x1,x2,…,xn)是n元谓词,t1,t2,…,tn是项,则R(t1,t2,…,tn)是原子公式例如:F(a),G(a,y),F(f(a)),G(x,
6、g(a,y))2021/7/2215一阶逻辑合式公式(well-formedformula)原子公式是合式公式若A是合式公式，则(¬A)是合式公式若A,B是合式公式，则(A∧B),(A∨B),(A→B),(A↔B)也是合式公式若A是合式公式，则xA,xA也是合式公式只有有限次地应用上述规则形成的符号串才是合式公式2021/7/2216一阶逻辑合式公式（举例）x(F(x)y(G(y)H(x,y)))F(f(a,a),b)F(x,y)约定：省略多余括号最外层优先级递减：,;¬;∧,∨,→,↔2021/7/2217一阶逻辑合式公式中的变项量词辖域:在
7、xA,xA中,A是量词的辖域.例如:x(F(x)y(G(y)H(x,y)))指导变项:紧跟在量词后面的个体变项.例如:x(F(x)y(G(y)H(x,y)))约束出现:在辖域中与指导变项同名的变项.例如:x(F(x)y(G(y)H(x,y)))自由出现:既非指导变项又非约束出现.例如:y(G(y)H(x,y))2021/7/2218一阶逻辑合式公式中的变项(举例)H(x,y)∨xF(x)∨y(G(y)H(x,y))x与y是指导变项x与y是约束出现x与y是自由出现注：同一变元在同一公式中可能既有约束出现又有自由出现2021/7/
8、2219一阶逻辑闭式(c
