阶逻辑基本概念教学

上传人:仙*** 文档编号:200445915 上传时间:2023-04-15 格式:PPT 页数:54 大小:357.50KB
返回 下载 相关 举报
阶逻辑基本概念教学_第1页
第1页 / 共54页
阶逻辑基本概念教学_第2页
第2页 / 共54页
阶逻辑基本概念教学_第3页
第3页 / 共54页
点击查看更多>>
资源描述
1第四章第四章:一阶逻辑基本概念一阶逻辑基本概念q本章的主要内容本章的主要内容l一阶逻辑命题符号化一阶逻辑命题符号化l一阶逻辑公式、解释及分类一阶逻辑公式、解释及分类q本章与其他章的联系本章与其他章的联系l克服命题逻辑的局限性克服命题逻辑的局限性l是第五章的先行准备是第五章的先行准备2 第一节:一阶逻辑命题符号化第一节:一阶逻辑命题符号化34.1 一阶逻辑命题符号化一阶逻辑命题符号化q例子例子凡是人都要死凡是人都要死 pq苏格拉底是人苏格拉底是人 r推出:苏格拉底要死?推出:苏格拉底要死?q命题逻辑的表示能力缺陷命题逻辑的表示能力缺陷v命题演算的基本单元为简单命题命题演算的基本单元为简单命题v不能研究命题的结构、成分和内部逻辑的特征不能研究命题的结构、成分和内部逻辑的特征v不能表达二个原子命题所具有的共同特征,无法不能表达二个原子命题所具有的共同特征,无法处理一些简单又常见的推理处理一些简单又常见的推理命题之间的联系无法刻画命题之间的联系无法刻画命题之间的联系无法刻画命题之间的联系无法刻画44.1 一阶逻辑命题符号化一阶逻辑命题符号化q一阶逻辑一阶逻辑v对命题做进一步分解对命题做进一步分解v揭示命题的内部结构以及命题间的内在联系揭示命题的内部结构以及命题间的内在联系q命题分解命题分解v个体词(名词、代词)个体词(名词、代词)v谓词谓词v量词量词q例:例:v南京是城市南京是城市v个体词:南京个体词:南京v谓词:是城市谓词:是城市54.1 一阶逻辑命题符号化一阶逻辑命题符号化q个体词:研究对象中独立存在的具体或抽象的个体个体词:研究对象中独立存在的具体或抽象的个体v个体常项:具体或特定的个体词个体常项:具体或特定的个体词南京,东南大学,南京,东南大学,1,2v个体变项:抽象或泛指的个体词个体变项:抽象或泛指的个体词x,y,z 取值范围称为个体域或论域取值范围称为个体域或论域v空集不能作为论域空集不能作为论域v全总个体域全总个体域:宇宙间一切事物:宇宙间一切事物64.1 一阶逻辑命题符号化一阶逻辑命题符号化q谓词:刻画个体词性质及个体词之间的关系的词谓词:刻画个体词性质及个体词之间的关系的词v谓词常项:具体性质或关系的谓词谓词常项:具体性质或关系的谓词F(a,b):小王和小李是同学:小王和小李是同学G(x):x是有理数是有理数v谓词变项:抽象或泛指的性质或关系的谓词谓词变项:抽象或泛指的性质或关系的谓词L(x,y):x,y具有关系具有关系Lqn元谓词元谓词P(x1,xn)vP(x1,xn):DnF,T,D为个体域为个体域v不带个体变项的谓词为不带个体变项的谓词为0元谓词,当为谓词常项时,元谓词,当为谓词常项时,即命题即命题74.1 一阶逻辑命题符号化一阶逻辑命题符号化q例例:将下列命题用将下列命题用0元谓词符号化元谓词符号化v2既是素数又是偶数既是素数又是偶数F(x):x是素数是素数G(x):x是偶数是偶数a:2F(a)G(a)q例例:将下列命题用将下列命题用0元谓词符号化元谓词符号化v如果如果35,则,则23F(x,y):xya:3,b:5,c:2F(a,b)F(c,a)84.1 一阶逻辑命题符号化一阶逻辑命题符号化q量词:表示个体常项或变项之间数量关系的词量词:表示个体常项或变项之间数量关系的词q全称量词全称量词:x表示个体域里的所有个体表示个体域里的所有个体xv对应日常语言中的对应日常语言中的“一切的一切的”、“所有的所有的”等等v一元谓词一元谓词F(x)个体域为个体域为D,xF(x)真值真值 xF(x)为真:为真:F(a)为真,对所有为真,对所有a D xF(x)为假:为假:F(a)为假,对某个为假,对某个a Dv x yG(x,y):个体域里所有个体:个体域里所有个体x,y有关系有关系G x yG(x,y)为真:为真:G(a,b)为真,对所有为真,对所有a,b D x yG(x,y)为假:为假:G(a,b)为假,对某对为假,对某对a,b D94.1 一阶逻辑命题符号化一阶逻辑命题符号化q存在量词存在量词:x表示个体域里有一个个体表示个体域里有一个个体xv对应日常语言中的对应日常语言中的“存在存在”、“有一个有一个”等等v一元谓词一元谓词F(x)个体域为个体域为D,xF(x)真值真值 xF(x)为真:为真:F(a)为真,存在某个为真,存在某个a D xF(x)为假:为假:F(a)为假,对任意为假,对任意a Dv x yG(x,y):个体域里存在个体:个体域里存在个体x,y有关系有关系Gq全称量词与存在量词联合全称量词与存在量词联合v x yG(x,y):个体域里任意个体域里任意x,存在个体存在个体y,x,y有关系有关系Gv x yG(x,y):个体域里存在个体域里存在x和所有个体和所有个体y都都有关系有关系G104.1 一阶逻辑命题符号化一阶逻辑命题符号化q讨论:讨论:xF(x),xF(x),F(x)的联系、区别的联系、区别vF(x)是不能确定真值的谓词是不能确定真值的谓词v xF(x),xF(x)都是命题都是命题vx称为约束变元称为约束变元114.1 一阶逻辑命题符号化一阶逻辑命题符号化q例:将下列命题符号化例:将下列命题符号化v凡是人都呼吸凡是人都呼吸(个体域为人类集合)(个体域为人类集合)F(x):x呼吸呼吸 xF(x)v有的人用左手写字(个体域为人类集合)有的人用左手写字(个体域为人类集合)G(x):x用左手写字用左手写字 xG(x)v凡是人都呼吸(个体域为全总个体域)凡是人都呼吸(个体域为全总个体域)F(x):x呼吸呼吸,M(x):x是人是人 x(M(x)F(x)v有的人用左手写字(个体域为全总个体域)有的人用左手写字(个体域为全总个体域)G(x):x用左手写字用左手写字,M(x):x是人是人 x(M(x)G(x)124.1 一阶逻辑命题符号化一阶逻辑命题符号化q例:将下列命题符号化并判断真假值例:将下列命题符号化并判断真假值v所有有理数都是整数所有有理数都是整数(个体域为有理数集合)(个体域为有理数集合)F(x):x是整数是整数 xF(x)v所有有理数都是整数所有有理数都是整数(个体域为实数集合)(个体域为实数集合)F(x):x是整数是整数,Q(x):x是有理数是有理数 x(Q(x)F(x)134.1 一阶逻辑命题符号化一阶逻辑命题符号化q例:将下列命题符号化并判断真假值例:将下列命题符号化并判断真假值v任意任意x,x2-3x+2=(x-1)(x-2)(个体域为自(个体域为自然数集合)然数集合)F(x):x2-3x+2=(x-1)(x-2)xF(x)v存在存在x,x+5=3(个体域为自然数集合)(个体域为自然数集合)G(x):x+5=3 xG(x)v任意任意x,x2-3x+2=(x-1)(x-2)(个体域为实(个体域为实数集合)数集合)v存在存在x,x+5=3(个体域为实数集合)(个体域为实数集合)144.1 一阶逻辑命题符号化一阶逻辑命题符号化q谓词逻辑符号化几点说明谓词逻辑符号化几点说明v不同的个体域,符号化形式可能不一样,命题真不同的个体域,符号化形式可能不一样,命题真值也可能不同值也可能不同v一般默认是全总个体域,即包含一切个体一般默认是全总个体域,即包含一切个体v特性谓词:描述个体变元取值范围的谓词特性谓词:描述个体变元取值范围的谓词全称量化中,特性谓词常作为蕴涵式的前件全称量化中,特性谓词常作为蕴涵式的前件 x(M(x)F(x)存在量化中,特性谓词常作为合取项之一存在量化中,特性谓词常作为合取项之一 x(M(x)G(x)154.1 一阶逻辑命题符号化一阶逻辑命题符号化q例:将下列命题符号化并判断真假值例:将下列命题符号化并判断真假值v凡是学生都需要学习和考试凡是学生都需要学习和考试v在北京工作的人未必是北京人在北京工作的人未必是北京人v没有人登上过木星没有人登上过木星164.1 一阶逻辑命题符号化一阶逻辑命题符号化q例:将下列命题符号化并判断真假值例:将下列命题符号化并判断真假值v凡是学生都需要学习和考试凡是学生都需要学习和考试F(x):x是学生;是学生;G(x):x学习;学习;H(x):x考试考试 x(F(x)G(x)H(x)v在北京工作的人未必是北京人在北京工作的人未必是北京人F(x):x在北京工作;在北京工作;G(x):x是北京人是北京人 x(F(x)G(x)x(F(x)G(x)v没有人登上过木星没有人登上过木星M(x):x是人;是人;H(x):x登上过木星登上过木星 x(M(x)H(x)174.1 一阶逻辑命题符号化一阶逻辑命题符号化q例:将下列命题符号化例:将下列命题符号化v不存在跑得同样快的两只兔子不存在跑得同样快的两只兔子v有的兔子比所有的乌龟跑得快有的兔子比所有的乌龟跑得快v尽管有些人聪明,未必所有人都聪明尽管有些人聪明,未必所有人都聪明184.1 一阶逻辑命题符号化一阶逻辑命题符号化q例:将下列命题符号化例:将下列命题符号化v不存在跑得同样快的两只兔子不存在跑得同样快的两只兔子F(x):x是兔子,L(x,y):x和y跑得同样快 x y(F(x)F(y)L(x,y)v有的兔子比所有的乌龟跑得快有的兔子比所有的乌龟跑得快F(x):x是兔子,G(y):y是乌龟,H(x,y):x比y跑得快 x(F(x)y(G(y)H(x,y)v尽管有些人聪明,未必所有人都聪明尽管有些人聪明,未必所有人都聪明F(x):x是人;是人;G(x):x聪明聪明 x(F(x)G(x)x(F(x)G(x)x(F(x)G(x)x(F(x)G(x)194.1 一阶逻辑命题符号化一阶逻辑命题符号化 注意事项注意事项v根据命题的实际意义选取全称量词或存在量词根据命题的实际意义选取全称量词或存在量词v多个量词同时出现时,不能随意颠倒顺序多个量词同时出现时,不能随意颠倒顺序符号化:对符号化:对任意的任意的x,存在着存在着y,使得使得x+y=5给定实数域给定实数域F(x,y):x+y=5 x yF(x,y)不同于不同于 y xF(x,y)TF204.1 一阶逻辑命题符号化一阶逻辑命题符号化q例子例子凡是人都要死凡是人都要死 苏格拉底是人苏格拉底是人 推出:苏格拉底要死?推出:苏格拉底要死?F(x):x是人;是人;G(x):x要死要死a:苏格拉底苏格拉底 x(F(x)G(x)F(a)G(a)21 第二节:一阶逻辑公式及其解释第二节:一阶逻辑公式及其解释22一阶逻辑公式及其解释一阶逻辑公式及其解释q一阶谓词语言一阶谓词语言 的字母表的字母表v非逻辑符号非逻辑符号个体常项符号:个体常项符号:a,b,c,函数符号:函数符号:f,g,h,谓词符号:谓词符号:F,G,H,v逻辑符号逻辑符号个体变项符号:个体变项符号:x,y,z,量词符号:量词符号:,联结词符号:联结词符号:,括号与逗号:括号与逗号:(,),q函数符号不同于谓词符号函数符号不同于谓词符号23q一阶谓词语言一阶谓词语言 的项:的项:个体常项符号和个体变项符号是项个体常项符号和个体变项符号是项若若f(x1,xn)是是n元函数符号,元函数符号,t1,tn是是n个个项,则项,则f(t1,tn)是项是项有限次使用有限次使用,生成的符号串才是项生成的符号串才是项q例:下列符号串是否为项?例:下列符号串是否为项?va,bvx,yvf(x,y):x+y;f(a,y):a-yvf(f(a,b),b):f(a,b)+b一阶逻辑公式及其解释一阶逻辑公式及其解释24q一阶谓词语言一阶谓词语言 的原子公式:的原子公式:vF(x1,xn)为为n元谓词符号元谓词符号vt1,tn为为n个项个项vF(t1,tn)为为 的原子公式的原子公式q例:下列符号串为原子公式例:下列符号串为原子公式vF(a,b)vF(x,y)vF(f(x,y),a)一阶逻辑公式及其解释一阶逻辑公式及其解释25q一阶谓词语言一阶谓词语言 的合式公式(谓词公式):的合式公式(谓词公式):1.原子公式是合式公式原子公式是合式公式2.A为合式公式,则为合式公式,则 A是合式公式是合式公式3.A,B为合式公式为合式公式,则则(A B),(A B),(AB),(AB)为合式公式为合式公式4.如如A是合式公式,则是合式公式,则 xA,xA也是合式也是合式公式公式5.只有有限次应用只有有限次应用1-4构成的符号串才是合构成的符号串才是合式公式式公式一阶逻辑公式及其解释一阶逻辑公式及其解释26q例子例子vF(a,b)vF(a,b)G(x,y)vF(a,b)xG(x,y)v x(F(a,b)G(x,y)v(y)(x)(G(x,y)一阶逻辑公式及其解释一阶逻辑公式及其解释27一阶逻辑公式及其解释一阶逻辑公式及其解释28q辖域:紧接在量词后面括号内的合式公式辖域:紧接在量词后面括号内的合式公式v x P(x),x(P(x)Q(x)v x M(x)D(x)q自由变元与指导变元自由变元与指导变元v指导变元:出现在量词指导变元:出现在量词 x,x辖域内的变元辖域内的变元xv x M(x)D(x)v自由变元:非约束出现的变元自由变元:非约束出现的变元v x M(x)D(x)q闭式(封闭公式):不含自由出现的个体变闭式(封闭公式):不含自由出现的个体变项的公式项的公式一阶逻辑公式及其解释一阶逻辑公式及其解释29q例:指出下列公式中的指导变元,各量词的例:指出下列公式中的指导变元,各量词的辖域,自由出现和约束出现的个体变项辖域,自由出现和约束出现的个体变项vF(a,b)xG(x,y)v x(F(a,b)G(x,y)v x(F(a,x)y(G(x,y)H(z)一阶逻辑公式及其解释一阶逻辑公式及其解释30q如何赋予合式公式含义?如何赋予合式公式含义?v定义域定义域v函数变项需要指定具体函数函数变项需要指定具体函数v谓词变项需要指定具体谓词谓词变项需要指定具体谓词一阶逻辑公式及其解释一阶逻辑公式及其解释31q例:例:x y(F(x)F(y)G(f(x,y),g(x,y)v定义域:全总个体域定义域:全总个体域v函数变项需要指定具体函数函数变项需要指定具体函数f(x,y):x+yg(x,y):xyv谓词变项需要指定具体谓词谓词变项需要指定具体谓词F(x):x是实数是实数G(x,y):x=y任意任意x,y,如果,如果x,y是实数,则是实数,则x+y=xy一阶逻辑公式及其解释一阶逻辑公式及其解释32q解释解释解释解释:非逻辑符号集非逻辑符号集L生成的一阶语言生成的一阶语言,的解释的解释I由由4部分组成部分组成a)非空个体域非空个体域DIb)I将任意一个个体常项符号将任意一个个体常项符号a L映射到映射到DI上的个上的个体体a*c)I将任意一个将任意一个n元函数元函数f L映射到映射到DI上的上的n元函数元函数f*:(DI)n DId)I将任意一个将任意一个n元谓词元谓词F L映射到映射到DI上的上的n元关元关系系RF 一阶逻辑公式及其解释一阶逻辑公式及其解释33q公式公式A在在I下的解释下的解释AI:a)取个体域取个体域DIb)A中中个体常项符号个体常项符号a L替换为替换为DI上的个体上的个体a*c)A中的中的n元函数元函数f L替换为替换为DI上的上的n元函数元函数f*:(DI)n DId)A中中n元谓词元谓词F L替换为替换为DI上的上的n元关系元关系RF一阶逻辑公式及其解释一阶逻辑公式及其解释34q给定解释给定解释Iv个体域为自然数集个体域为自然数集Nva*=2vf*=x+y,g*=xyvF*:x=yq给出下列公式在给出下列公式在I下的解释,讨论真假值下的解释,讨论真假值v x F(g(x,y),z)v x(F(g(x,a),x)F(x,f(x,a)v x F(g(x,a),x)F(x,y)一阶逻辑公式及其解释一阶逻辑公式及其解释35q给定解释给定解释Iv个体域为自然数集个体域为自然数集Nva*=2vf*=x+y,g*=xyvF*:x=yq给出下列公式在给出下列公式在I下的解释,讨论真假值下的解释,讨论真假值v x F(g(x,y),z)x(xy=z)v x(F(g(x,a),x)F(x,f(x,a)x(2x=x)(x=x+2)v x F(g(x,a),x)F(x,y)x(2x=x)x=y一阶逻辑公式及其解释一阶逻辑公式及其解释36q合式公式分类:公式合式公式分类:公式Av重言式重言式(永真式永真式):A在任意的解释下为真在任意的解释下为真v矛盾式矛盾式(永假式永假式):A在任意的解释下为假在任意的解释下为假v可满足式可满足式:A在某个解释下为真在某个解释下为真一阶逻辑公式及其解释一阶逻辑公式及其解释37q代换实例代换实例v给定命题公式给定命题公式A0,含命题变项,含命题变项p1,pnvA1,An是是n个谓词公式个谓词公式vA称为称为A0的代换实例的代换实例,如果如果A通过用通过用Ai代替代替A0中的中的pi得到得到一阶逻辑公式及其解释一阶逻辑公式及其解释38q定理:重言式的代换实例都是永真式,矛盾定理:重言式的代换实例都是永真式,矛盾式的代换实例都是矛盾式式的代换实例都是矛盾式 证明思路:证明思路:给定重言式给定重言式A0,对于命题变项,对于命题变项p1,pn的任意赋值,的任意赋值,A0都为真都为真q例:已知例:已知p(qp)为重言式,那么为重言式,那么 F(x)(G(x)F(x)是否是重言式?是否是重言式?x(F(x)(G(x)F(x)呢?呢?一阶逻辑公式及其解释一阶逻辑公式及其解释39q例:判断下列公式类型例:判断下列公式类型v x F(x)x F(x)v x(F(x)G(x)v (xF(x)yG(y)yG(y)一阶逻辑公式及其解释一阶逻辑公式及其解释40q例:判断下列公式类型例:判断下列公式类型v x F(x)x F(x)对任意解释对任意解释I,如果,如果I使得使得 x F(x)为真,对任意为真,对任意x DI,F(x)为真,为真,I必必使得使得 x F(x)为真为真v x(F(x)G(x)解释解释I:DI 为实数集为实数集RF(x):x是整数;是整数;G(x):x是有理数是有理数v (xF(x)yG(y)yG(y)是是 (p q)q 的代换实例的代换实例永真式永真式矛盾式矛盾式可满足式可满足式一阶逻辑公式及其解释一阶逻辑公式及其解释41第四章第四章 习题课习题课q主要内容主要内容l个体词、谓词、量词个体词、谓词、量词l一阶逻辑命题符号化一阶逻辑命题符号化l一一阶语言言L 项、原子公式、原子公式、合式公式合式公式l公式的解释公式的解释 量词的辖域、指导变元、个体变项的自由出现与约束出现、量词的辖域、指导变元、个体变项的自由出现与约束出现、闭式、解释闭式、解释l公式的类型公式的类型 永真式永真式(逻辑有效式逻辑有效式)、矛盾式、矛盾式(永假式永假式)、可满足式、可满足式42基本要求基本要求l 准确地将给定命题符号化准确地将给定命题符号化l 理解一阶语言的概念理解一阶语言的概念l 深刻理解一阶语言的解释深刻理解一阶语言的解释l 熟练地给出公式的解释熟练地给出公式的解释l深刻理解永真式、矛盾式、可满足式的概念深刻理解永真式、矛盾式、可满足式的概念,会判断简会判断简 单公式的类型单公式的类型43练习练习11.在分别取个体域为在分别取个体域为 (a)D1=N (b)D2=R (c)D3为全总个体域为全总个体域的条件下的条件下,将下面命题符号化,并讨论真值将下面命题符号化,并讨论真值:对于任意的数对于任意的数x,均有,均有解解 设设G(x):(a)xG(x)(b)xG(x)(c)又设又设F(x):x是实数是实数 x(F(x)G(x)真真 真真 假假44练习练习22.在一阶逻辑中将下列命题符号化在一阶逻辑中将下列命题符号化 (1)大熊猫都可爱大熊猫都可爱(2)有人爱发脾气有人爱发脾气(3)说所有人都爱吃面包是不对的说所有人都爱吃面包是不对的 (4)没有不爱吃糖的人没有不爱吃糖的人(5)任何两个不同的人都不一样高任何两个不同的人都不一样高 (6)不是所有的汽车都比所有的火车快不是所有的汽车都比所有的火车快45练习练习22.在一阶逻辑中将下列命题符号化在一阶逻辑中将下列命题符号化 (1)大熊猫都可爱大熊猫都可爱(2)有人爱发脾气有人爱发脾气(3)说所有人都爱吃面包是不对的说所有人都爱吃面包是不对的设设F(x):x为大熊猫,为大熊猫,G(x):x可爱可爱 x(F(x)G(x)设设F(x):x是人,是人,G(x):x爱发脾气爱发脾气 x(F(x)G(x)设设F(x):x是人,是人,G(x):x爱吃面包爱吃面包 x(F(x)G(x)或或 x(F(x)G(x)46练习练习2 (4)没有不爱吃糖的人没有不爱吃糖的人(5)任何两个不同的人都不一样高任何两个不同的人都不一样高 (6)不是所有的汽车都比所有的火车快不是所有的汽车都比所有的火车快设设F(x):x是人,是人,G(x):x爱吃糖爱吃糖x(F(x)G(x)或或 x(F(x)G(x)设设F(x):x是人是人,H(x,y):x与与y相同相同,L(x,y):x与与y一样高一样高 x y(F(x)F(y)H(x,y)L(x,y)设设F(x):x是汽车是汽车,G(y):y是火车是火车,H(x,y):x比比y快快 x y(F(x)G(y)H(x,y)或或 x y(F(x)G(y)H(x,y)47练习练习33.给定解释给定解释 I 如下如下:(a)个体域个体域D=N (b)=2 (c)(d)说明下列公式在说明下列公式在 I 下的涵义下的涵义,并讨论真值并讨论真值 (1)xF(g(x,a),x)(2)x y(F(f(x,a),y)F(f(y,a),x)(3)x y zF(f(x,y),z)(4)x y zF(f(y,z),x)(5)xF(f(x,x),g(x,x)48练习练习3 x(2x=x)假假3.给定解释给定解释 I 如下如下:(a)个体域个体域D=N (b)=2 (c)(d)说明下列公式在说明下列公式在 I 下的涵义下的涵义,并讨论真值并讨论真值 (1)xF(g(x,a),x)(2)x y(F(f(x,a),y)F(f(y,a),x)x y(x+2=yy+2=x)假假49练习练习3(3)x y zF(f(x,y),z)(5)xF(f(x,x),g(x,x)(4)x y zF(f(y,z),x)x y z(y+z=x)假假 x y z(x+y=z)真真 x(x+x=x x)真真(3),(4)说明说明 与与 不能随意交换不能随意交换50练习练习44.证明下面公式既不是永真式,也不是矛盾式证明下面公式既不是永真式,也不是矛盾式:(1)x(F(x)G(x)(2)x y(F(x)G(y)H(x,y)51练习练习44.证明下面公式既不是永真式,也不是矛盾式证明下面公式既不是永真式,也不是矛盾式:(1)x(F(x)G(x)(2)x y(F(x)G(y)H(x,y)解释解释1:D1=N,F(x):x是偶数是偶数,G(x):x是素数是素数,真真解释解释2:D2=N,F(x):x是偶数是偶数,G(x):x是奇数是奇数,假假解释解释1:D1=Z,F(x):x是正数是正数,G(x):x是负数是负数,H(x,y):xy 真真解释解释2:D2=Z,F(x):x是偶数是偶数,G(x):x是奇数是奇数,H(x,y):xy 假假52练习练习55.证明下列公式为永真式证明下列公式为永真式:(1)(xF(x)yG(y)xF(x)yG(y)(2)x(F(x)(F(x)G(x)53练习练习55.证明下列公式为永真式证明下列公式为永真式:(1)(xF(x)yG(y)xF(x)yG(y)(2)x(F(x)(F(x)G(x)(AB)AB的代换实例的代换实例设设I是任意的一个解释是任意的一个解释,对每一个对每一个x DI,F(x)(F(x)G(x)恒为真恒为真54作业作业q1q4q5q10q11
展开阅读全文
相关资源
正为您匹配相似的精品文档
相关搜索

最新文档


当前位置:首页 > 管理文书 > 施工组织


copyright@ 2023-2025  zhuangpeitu.com 装配图网版权所有   联系电话:18123376007

备案号:ICP2024067431-1 川公网安备51140202000466号


本站为文档C2C交易模式,即用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知装配图网,我们立即给予删除!