从$A^{p}_{alpha}$到$A^{infty}(varphi)$的加权复合算子
复变函数-复分析历史
一，复数和复变函数1.复数在数学中，最早为人们所研究的一个纯数学问题，就是求解二次方程.四千多年前，古代巴比伦人就掌握了二次方程的解法.那时所发现的技巧，还基本上与今天在中学数学教科书中所用的方法相同.例如，解方程寸- 2x-15 = 0*用。
配方”法，将这个方程写成矛-2为+ 1 -16的形式，也就是（x-1）」16 = 0,即得到（x-1）3 = 16,所以X-l = 4或一牝因此x = 5或x= -3.但是，对有些二次方程，这个《配方”法就失灵了. 例如要解简单的二次方程屮+ 1 = 0,这导致我们要找这样的数礼它的平方等于- It x2= -1.这似乎是不可能的，因为一个数的平方好像不应是负的・想像如果有一个数，它的平方是「1,这将会发生什么情况呢？这个数，今天已习惯上采用亍来表示，并称之为“虚”单位;当有m出现时，就用-1代替之.这样，方程x' + i = o 就变成有解了，其解为x = i和 X=-礼另外，如方程 JC3-10^+ 40 = 0,即（*-5），= -15也变成有解了，其解为为二5+"商和x = 5- 5/场.要验证它,我们只须计算（5±10 （5± v'lBO + 40=（5± V15C（5 +VlSi） - 10（5+ + 40=25 士 5、/'套，± 5^/15® 十 15讣一 50 干 10*1京 + 40=25- 15- 50+ 40 = 0,但是，一个二次方程有一个* = 5 + "15i或X = 5 - 、/応的解,究竟有什么好处呢？归根结底i是一个“虚” 数.文艺复兴时期，意大利数学家卡尔达诺（G. Carda- no,被称为虚数之父）注意到在解三次方程时（例如方程 x B-12x + 16 = 0）,可发生这样的情况，虽然用了虚数来计算，而求出的根却仍是普通的蚌实”数,这个观察说明，对- 1的平方根，不管称它是虚数与否，它不单是一个玩物・直到十九世纪，数学家才解开复数的奥秘.他们将形如a + ib的数称为复数，把它解释为平面上的点.确切地讲，我们在平面上画两条互相垂直的直线，一条是水平的，称为x-轴或实軸；一条是铅直的，称为》-轴或虚轴I 两条直线的交点是O,称为原点.于是，每个复数。
BMOA到Bloch型空间的加权复合算子
BMOA到Bloch型空间的加权复合算子吴燕; 熊东红; 张学军【期刊名称】《《高校应用数学学报A辑》》【年(卷),期】2011(026)003【总页数】9页(P303-311)【关键词】有界性; 紧性; 加权复合算子; 超球; BMOA空间; Bloch型空间【作者】吴燕; 熊东红; 张学军【作者单位】湖南师范大学数学与计算机科学学院湖南长沙410081【正文语种】中文【中图分类】O174.56设X、Y是B上两个由全纯函数构成的空间,φ:B→B全纯,ψ∈H(B),从空间X到Y 的加权复合算子Tψ,φ定义为:Tψ,φ(f)=ψ.f◦φ(f∈X).容易看到这样定义的Tψ,φ是一个线性算子,大量的数学工作者在不同函数空间上对Tψ,φ进行了研究,在单复变情形,和本文直接相关的参考文献就有很多,如文献[1-6]等,至于多变量情形则更是举不胜举,如文献[7-21]等.涉及到多变量Bloch型空间复合型算子的有界性和紧性问题,其有界性和紧性充要条件的给出是一个比较棘手的问题,很多数学工作者做了大量的工作,多圆柱情形代表性的工作如[7-9]等;至于单位球情形,利用传统的Bloch型空间的范数很难给出有界性和紧性的充要条件,要借助于Bergman度量和Finsler度量以及原有的范数相结合才能有效的解决这个问题,这方面的工作如文献[10-12]等;至于其他区域,一些数学工作者也做过一些工作,如文献[13]等.本文主要探讨单位球上BMOA空间到Bloch型空间上加权复合算子的有界性和紧性条件,就在最近文献[3]在单位圆上给出了Hardy空间到Bloch型空间上加权复合算子的有界性和紧性条件,早些时候文献[5-6]在单位圆上探讨了类似问题.但是,单位圆中这些处理办法很难移植到多复变的单位球上,本文欲借用Finsler度量(可参见文献[10-11]等)来弥补这方面的缺陷,给出相应的充要条件.【相关文献】[1]Ohno S,Zhao Ruhan.Weighted composition operators on the Bloch space[J].Bull Austral Math Soc,2001,63:177-185.[2]Zhang Xuejun,Xiao Jianbin.Weighted composition operator between two analytic function spaces[J].Adv in Math(China),2006,35(4):453-462.[3]陈晓捷,叶善力.从Hardy空间到加权Bloch型空间的加权复合算子[J].数学研究,2010,43(3): 211-222.[4]张学军.p-Bloch空间上的复合算子和加权复合算子[J].数学年刊,2003,24(6):711-720.[5]Zhao position operators from Bloch type spaces to Hardy and Besov spaces[J]. J Math Anal Appl,1999,233:749-766.[6]Bourdon P,Cima J,Matheson pact composition operators on BMOA[J].Trans Amer Math Soc,1999,351:2183-2196.[7]Zhou Zehua,Shi pact composition operators on the Bloch space in polydiscs[J]. Science in China(Ser A),2001,44(3):286-291.[8]Hu position operators between Bloch-type spaces in thepolydisc[J].Science in China(Ser A),2005,48(supp.):268-282.[9]徐辉明,刘太顺.多圆柱上不同Bloch型空间之间的加权复合算子[J].数学年刊,2005,26A(1): 61-72.[10]Chen Huaihui,Gauthier position operators onµ-Bloch spaces[J].Canad J Math, 2009,61(1):50-75.[11]刘竟成,李菊香,张学军.超球上Bloch型空间之间复合算子再刻划[J].数学学报,2007,50(3): 711-720.[12]张学军,李菊香.Cn中单位球上μ-Bloch空间之间的复合算子[J].数学物理学报,2009,29A(3): 573-583.[13]Zhou Zehua,Shi pactness of composition operators on the Bloch space inclassical bounded symmetric domains[J].Michigan Math J,2002,50:381-405.[14]Zhang Xuejun,Xiao Jianbin.Weighted composition operators between μ-Bloch spaces on the unit ball[J].Science in China,2005,48A(10):1349-1368.[15]张学军,李菊香.Cn中单位球上μ-Bloch空间之间的复合算子[J].数学物理学报,2009,29A(3): 573-583.[16]王雄亮.多圆柱上Bergman空间到Bloch空间的复合算子[J].数学研究,2010,43(2):141-150.[17]刘竟成,张学军.单位球上小Bloch型空间之间的加权复合算子[J].数学物理学报,2010,30A(4): 804-907.[18]张学军,刘竟成.加权Bergman空间到μ-Bloch空间的复合算子[J].数学年刊,2007,28A(2):255-266.[19]Zhang Minzhu,Xu position operators on α-Bloch spaces of the unitball[J].Acta Math Sinica(Einglish Series),2007,23(11):1991-2002.[20]Zhou Zehua,Chen Renyu.Weighted composition operator from F(p,q,s)to Bloch type spaces on the unit ball[J].Int J Math,2008,19(8):899-926.[21]张学军,李菊香,肖建斌.Cn中空间F(p,q,s)到的复合算子[J].数学年刊A辑,2008, 29(6):789-800.[22]张学军.Cn中Dirichlet型空间和Bloch型空间上的加权Ces aro算子[J].数学年刊A辑,2005, 26(1):139-150.[23]Zhu Kehe.Spaces of Holomorphic Functions in the Unit Ball[M].New York:Springer-Verlag, 2005.[24]Ortega J,Fabrega J.Pointwise multipliers and Corona type decomposition in BMOA[J]. Ann Inst Fourier(Grenoble),1996,46:111-137.[25]Rudin W.Function Theory in the Unit Ball of Cn[M].New York:Springer-Verlag,1980.。
自考笔记 00020 高等数学(一) 完整免费版
自考笔记 00020 高等数学（一）完整免费版小薇笔记免费提供各科自考笔记，完整版请访问前言《高等数学一》共6章第一章函数 1.主要是对高中知识的复习; 2.为今后知识打下良好的基础; 3.本章知识在历年考题中所占的分值并不多，一般是5分左右. 第二章极限和连续主要是学习极限与连续的概念，是后面章节的基础; 本章内容在历年考题中所占分值为20左右. 第三章导数与微分主要是学习函数的导数和微分，这是高数的核心概念. 本章内容在历年考题中所占分值为15分左右. 第四章微分中值定理和导数的应用主要是掌握微分中值定理的应用，这一章容易出大题、难题; 本章在历年考题中所占分值为20分左右. 第五章一元函数积分学主要学习不定积分和定积分，这又是高数的核心概念; 本章内容在历年考题中所占分值为25分左右. 第六章多元函数微积分主要是学习多元函数的微积分的计算; 本章内容在历年考试题中所占分值为15分左右. 第一章函数1.1 预备知识 1.1.1 初等代数的几个问题 1.一元二次方程 2关于x的方程ax，bx，c,0(a?0)，称为一元二次方程，称为此方程的判别式. (1)求根公式: 当?,0时，方程有两个不同的实根: 当?,0时，方程有一个二重实根:当?,0时，方程有一对共轭复根: (2)根与系数的关系(韦达定理):2(3)一元二次函数(抛物线):y,ax，bx，c(a?0)，当a,0时，开口向上，当a,0时，开口向下. 对称轴顶点坐标 322例1.若x，x，ax，b能被x,3x，2整除，则a、b是多少, 结论:多项式f(x)，g(x).若f(x)能被g(x)整除，则g(x),0的根均为f(x),0的根. 2解:令x,3x，2,0，解得x,1或2，代入被除式得解得2.二元一次方程组两个未知量x，y满足的形如的方程组称为二元一次方程组. 当时，方程组有唯一解;当时，方程组无解;当时，方程组有无穷多解.例2.已知方程组 (1)若方程组有无穷多解，求a的值; (2)当a,6时，求方程组的解.解:(1)因为方程组有无穷多组解，所以, 解得a,4.(2)当,6是，原方程组变为, a解得 3.不等式 (1)一元二次不等式 22考虑不等式ax，bx，c,0，如果记一元二次方程ax，bx，c=0的两个不同实根分别为x，x，且x,x，根据一元二次函数的图形可知: 1212当a,0时，这个不等式的解集是{x?x,x或x,x}; 12当a,0时，它的解集是{x?x,x,x}. 12222用类似的方法可以求解不等式ax，bx，c?0，ax，bx，c,0和ax，bx，c?0. 2例3.解不等式x,5x，6?0. 2解:令,5，6,0,xx(x,2)(x,3),0, 得,2或=3, xx? 解集为(,?，2]?[3，，?). 2例4.解不等式x，(1,a)x,a,0. 2解:令x，(1,a)x,a,0, (x,a)(x，1),0, 得x,a或x,,1, ?若a,,1，解集为(a，,1), ?如a,,1，解集为Φ, ?若a,,1，解集为(,1，a). (2)绝对值不等式不等式?f(x)?,a,0等价于f(x),a或f(x),,a; 不等式?f(x)?,a等价于,a,f(x),a. 例5.解下列含有绝对值符号的不等式: (1)?2x,3??5 (2)?3x,1??7 解:(1)原不等式等价于,5?2x,3?5 解得:,1?x?4. 所以解集为[,1，4]. (2)原不等式等价于3x,1?,7或3x,1?7， 3x,1?,7的解集为x?,2，3x,1?7的解集为x?, 1小薇笔记免费提供各科自考笔记，完整版请访问所以解集为(,?，,2]?[，，?). 2例6.解不等式?x,2x,5?,3. 解:原不等式等价于2x,2x,5,,3的解集为(,?，]?[，，?)， 2x,2x,5,3的解集为(,2，4)，所以原不等式的解集为(,2，]?[，，4). 4.数列 (1)等差数列:相邻两项的差为定值，即a,a,d，d称为公差. n，1n通项公式:a,a，(n,1)d n1前n项和公式:当m，n,k，l时，a，a,a，a mnkl特别地有例7.设{a}是一个等差数列，且a，a，a，a,64，求a，a和S. 2310116712n解:因为 2，11,3，10,13 所以a，a,a，a,32, 211310又因为 6，7,13，所以a，a,32, 67S,(a，a)×12?2,6(a，a),6×32,192. 12112112(2)等比数列:相邻两项的商为定值，即，q称为公比. n-1通项公式:a,aq n1前n项和公式: 当m，n,k，l时，aa,aa mnkl特别地有例8.设{a}是一个等比数列，且a,12，a,48，求a，a和aa的值.n3511026解: 所以q,?25a,a?q,48×(?2),?1536 1055因为2，6,3，5,8 所以a?a,a?a,12×48,576. 26351.1.2 集合与逻辑符号 1.集合的概念集合是指由一些特定的对象汇集的全体，其中每个对象叫做集合的元素. 数集分类: N——自然数集Z——整数集 Q——有理数集R——实数集 C——复数集合 2.元素与集合的关系元素a在集合A中，就说a属于A，记为a?A;否则就说a不属于A，记为aA. 3.集合与集合的关系集合A中的任何一个元素都是集合B中的元素，称为A包含于B，或B包含A，也说A是B的子集，记为A?B或者B?A. 若A?B，且B?A，就称集合A与B相等，记作A,B. 2例9.A,{1，2}，C,{x?x,3x，2,0}，则A和C是什么关系, 2解:解方程x,3x，2,0，得x,1或x,2. 所以C,{1，2}，从而A,C. 4.空集不含任何元素的集合称为空集(记作Φ).规定空集为任何集合的子集. 2例10.{x?x?R，x，1,0},Φ 5.集合的表示方法:列举法，描述法一般的，有限集用列举法，无限集用描述法闭区间:[a，b],{x?a?x?b，x?R}; 开区间:(a，b),{x?a,x,b，x?R}; 半开半闭区间: 左开右闭区间:(a，b],{x?a,x?b，x?R}，左闭右开区间:[a，b),{x?a?x,b，x?R}; (,?，b],{x?x?b，x?R}，[a，，?],{x?x?a，x?R}; 点a的邻域:U(a，ε),(a,ε，a，ε)，ε,0，即U(a，ε)是一个以a为中心的开区间.在不强调邻域的大小时，点a的邻域也用U表示; a点a的去心邻域:N(a，ε),(a,ε，a)?(a，a，ε)，ε,0.点a的去心邻域也可以表示为N. a6.集合之间的运算 (1)并:由A、B中所有元素组成的集合称为A和B的并集，记为A?B. A?B,{x?x?A或x?B}，A?B,B?A. 例11.已知:A,{1，2，3，4}，B,{2，4，6，8，10，12}，求:A?B. 解:A?B,{1，2，3，4，6，8，10，12}. 例12.已知:,{?1,,5}，,{?,3,?2}，求:?. AxxBxxAB解:A?B,{x?,3,x,5}. (2)交:由既属于A又属于B的元素组成的集合称为A和B的交集，记为A?B. A?B,{x?x?A且x?B}，A?B,B?A 例13.已知:A,{1，2，3，4}，B,{2、4、6、8、10、12}，求:A?B. 解:A?B,{2，4}. 例14.已知:A,{x?1,x,4}，B,{x?,3,x?3}，求:A?B. 解:A?B,{x?1,x?3}. (3)余集(差集):由中不属于的元素组成的集合称为与的差集，记为,. ABABABA,B,{x?x?A但xB}. 例15.已知:A,{1，2，3，4}，B,{2，4，6，8，10，12}，求:A,B. 解:A,B,{1，3}. 7.一些逻辑符号p能推出q，记为pq，此时称p是q的充分条件，q是p的必要条件. 如果pq，qp 同时成立，就成p与q等价，或者说p与q互为充分必要条件(充要条件)，记作pq. 1.2 函数的概念与图形 1.2.1 函数的概念 1.定义设D是一个非空数集，f 是定义在D上的一个对应关系，如果对于任意的实数x?D，都有唯一的实数y通过f与之对应，则称f是定义在D上的一个函数，记作y,f(x)，x?D. 也称是的函数，其中称为自变量，称为因变量.当?时，称()为函数在点处的函数值.数集叫做这个函数的定义域，函数值全体组成的数,{?,()，?}称为函数的值域. yxxyxDfxxDWyyfxxD000例1.已知:，求:y的定义域、值域. 2解:令1,x?0，解得:,1?x?1, 所以定义域为[,1，1]. 2因为0?1,x?1，所以0??1，所以值域为[0，1].例2.已知:，求:y的定义域、值域.解:根据题意，得，解得,1,x,1，所以定义域为(,1，1)， 2小薇笔记免费提供各科自考笔记，完整版请访问因为 0,?1，从而，所以值域为[1，，?). 2.函数的三要素:定义域、对应法则、值域. 约定:定义域是自变量所能取的使算式有意义的一切实数值.在具体问题中定义域会根据实际需要而有所变化. 例3.判断下列两个函数是否相等，(1)y,x，3; (2).例4.求函数的定义域. 解:根据题意，得解得:2?x,3或3,x,5，所以定义域为[2，3)?(3，5). 3.函数的表示法:表达式法(解析法)、图形法、数表法. 1.2.2 函数的图形 1.函数图形的概念函数y,f(x)，x?D的图形是指在xOy平面上的点集{(x,y)?y,f(x)，x?D}. 常见的几个幂函数的图形:2.函数的性质 (1)有界性函数f(x)，x?D，存在两个实数m、M，满足条件:对于D中所有的x都有不等式m?f(x)?M，则称函数f(x)在D上有界，否则称无界.例5.判断下面函数在其定义域是否有界，(1)y=sinx， (2). (2)单调性设函数f(x)在区间D上有定义，如果对于区间D上任意两点x及x，当x,x时，恒有f(x),f(x)，则称函数f(x)在区间D上是单调增加，称f(x)是D上的单调增加函数，称D是函数f(x)的单调增加区间. 121212设函数及，当,时，恒有),)，则称函数f(x)在区间D上有定义，如果对于区间D上任意两点xxxxf(xf(xf(x)在区间D上是单调减少，称f(x)是D上的单调减少函数，称D是函数f(x)的单调减少区间. 1212122例6.求的单调性. y, x解:任取,,0， xx1222,,)(，),0, xx,(xxxx121212所以y,x在(,?，0)上单调减少.22同理可得:y, x在(0，，?)上单调增加. 例7.求y ,sinx的单调性. 解:y,sinx的图像如图，y=sinx在(2kπ,，2kπ，)上单调增加，在(2kπ，，2kπ，)上单调减少. (3)奇偶性设D关于原点对称，对于任意的x?D，有 f(,x),f(x)，称 f(x) 为偶函数;设D关于原点对称，对于任意的x?D，有 f(,x),,f(x)，称 f(x) 为奇函数.例8.判断下面函数的奇偶性(1)(2)解:(1)因为，所以定义域为R.3小薇笔记免费提供各科自考笔记，完整版请访问所以f(x)为奇函数.(2) x-x因为a,a?0，故x ?0，所以定义域为(,?，0)?(0，，?).所以()为奇函数. fx(4)幂函数的性质α形如y,x的函数为幂函数，其中α为任意常数. 性质: α对任意实数α，曲线y,x都通过平面上的点(1，1);αα,0时，y,x在(0，+?)单调增加; αα,0时，y,x在(0，+?)单调减少; ，+?); α为正整数时，幂函数的定义域是(,?αα为偶数时，,为偶函数; yxαα为奇数时，, 为奇函数; yxα为负整数时，幂函数的定义域是 (,?，0)?(0，+?). α幂函数y,x(α是常数)的图形:1.2.3 分段函数在自变量的不同变化范围中，对应法则用不同的式子来表示的函数，称为分段函数. 例9.画出符号函数的图形:例10.画出下面分段函数的图形:例11.求下面分段函数定义域并画出图形.1.3 三角函数、指数函数、对数函数… … (剩余部分略)完整免费版请访问—— 1.4 函数运算 1.4.1函数的四则运算定义1.10 设函数f(x)，g(x)都在D上有定义，k?R，则对它们进行四则运算的结果还是一个函数，它们的定义域不变(除法运算时除数为0的点除外)，而函数值的对应定义如下: (1)加法运算 (f，g)(x),f(x)，g(x)，x?D . (2)数乘运算(kf)(x),kf(x)，x?D. (3)乘法运算 (fg)(x),f(x)g(x)，x?D .(4) 除法运算 g(x)?0， x?D. 其中等号左端括号表示对两个函数f，g 进行运算后所得的函数，它在x处的值等于右端的值.例1. 已知f(x)=ln(1，x)，g(x)=1,cosx，求 . 因为函数f(x)=ln(1，x)的定义域为(,1，+?)，函数g(x)=1,cosx 的定义域为(,?，+?)，且当x=2 kπ(k为整数)时，g(x)=0，所以，解，x?(,1， +?)\{2kπ}(k为整数) 1.4.2复合函数如有函数()和(),它们的定义域分别为和，值域分别是和当时，对于任意?,都有唯一的()?,，从而有唯一的(())?与?对应，这样就确定了一个从到的函数，此函数称fxgxDD ZZ.ZD xDgxZDfgxZxDDZfgf g.gfggffggf为 f和g的复合函数，记作重点是学会函数的分解与复合。
Matlab习题
习题 11. 执行下列指令，观察其运算结果, 理解其意义： (1) [1 2;3 4]+10-2i(2) [1 2; 3 4].*[0.1 0.2; 0.3 0.4] (3) [1 2; 3 4].\[20 10;9 2] (4) [1 2; 3 4].^2 (5) exp([1 2; 3 4]) (6)log([1 10 100]) (7)prod([1 2;3 4])(8)[a,b]=min([10 20;30 40]) (9)abs([1 2;3 4]-pi)(10) [1 2;3 4]>=[4,3;2 1](11)find([10 20;30 40]>=[40,30;20 10])(12) [a,b]=find([10 20;30 40]>=[40,30;20 10]) (提示：a 为行号，b 为列号) (13) all([1 2;3 4]>1) (14) any([1 2;3 4]>1) (15) linspace(3,4,5) (16) A=[1 2;3 4];A(:,2)2. 执行下列指令，观察其运算结果、变量类型和字节数，理解其意义： (1) clear; a=1,b=num2str(a),c=a>0, a= =b, a= =c, b= =c (2) clear; fun='abs(x)',x=-2,eval(fun),double(fun)3. 本金K 以每年n 次，每次p %的增值率(n 与p 的乘积为每年增值额的百分比)增加，当增加到rK 时所花费的时间为)01.01ln(ln p n rT +=(单位：年)用MA TLAB 表达式写出该公式并用下列数据计算：r =2, p =0.5, n =12.4．已知函数f (x )=x 4-2x 在(-2, 2)内有两个根。
取步长h =0.05, 通过计算函数值求得函数的最小值点和两个根的近似解。
离散数学最全课后答案(屈婉玲版)
1.1．略1.2．略1.3．略1.4．略1.5．略1.6．略1.7．略1.8．略1.9．略1.10．略1.11．略1.12．将下列命题符号化, 并给出各命题的真值:(1)2+2＝4 当且仅当3+3＝6. (2)2+2＝4 的充要条件是3+3≠6. (3)2+2≠4与3+3＝6 互为充要条件. (4)若2+2≠4, 则3+3≠6, 反之亦然.(1)p↔q, 其中, p: 2+2＝4, q: 3+3＝6, 真值为1.(2)p↔⌝q, 其中, p: 2+2＝4, q: 3+3＝6, 真值为0.(3) ⌝p↔q, 其中, p: 2+2＝4, q: 3+3＝6, 真值为0.(4) ⌝p↔⌝q, 其中, p: 2+2＝4, q: 3+3＝6, 真值为1.1.13．将下列命题符号化, 并给出各命题的真值:(1)若今天是星期一, 则明天是星期二. (2)只有今天是星期一, 明天才是星期二. (3)今天是星期一当且仅当明天是星期二. (4)若今天是星期一, 则明天是星期三.令p: 今天是星期一; q: 明天是星期二; r: 明天是星期三.(1) p→q ⇔ 1.(2) q→p ⇔ 1.(3) p↔q ⇔ 1.(4) p→r 当p ⇔ 0 时为真; p ⇔ 1 时为假.1.14．将下列命题符号化.(1) 刘晓月跑得快, 跳得高.(2)老王是山东人或河北人.(3)因为天气冷, 所以我穿了羽绒服. (4)王欢与李乐组成一个小组.(5)李辛与李末是兄弟.(6)王强与刘威都学过法语. (7)他一面吃饭, 一面听音乐. (8)如果天下大雨, 他就乘班车上班. (9)只有天下大雨, 他才乘班车上班. (10)除非天下大雨, 他才乘班车上班. (11)下雪路滑, 他迟到了.(12)2 与4 都是素数, 这是不对的.(13)“2或4 是素数, 这是不对的”是不对的.(1)p∧q, 其中, p: 刘晓月跑得快, q: 刘晓月跳得高.(2)p∨q, 其中, p: 老王是山东人, q: 老王是河北人.(3)p→q, 其中, p: 天气冷, q: 我穿了羽绒服.(4)p, 其中, p: 王欢与李乐组成一个小组, 是简单命题.(5)p, 其中, p: 李辛与李末是兄弟.(6)p∧q, 其中, p: 王强学过法语, q: 刘威学过法语.(7)p∧q, 其中, p: 他吃饭, q: 他听音乐.(8)p→q, 其中, p: 天下大雨, q: 他乘班车上班.(9)p→q, 其中, p: 他乘班车上班, q: 天下大雨.(10)p→q, 其中, p: 他乘班车上班, q: 天下大雨.(11)p→q, 其中, p: 下雪路滑, q: 他迟到了.12) ⌝ (p∧q)或⌝p∨⌝q, 其中, p: 2 是素数, q: 4 是素数.(13) ⌝⌝ (p∨q)或p∨q, 其中, p: 2 是素数, q: 4 是素数.1.15．设p: 2+3=5.q: 大熊猫产在中国.r: 复旦大学在广州. 求下列复合命题的真值:(1)(p↔q) →r(2)(r→ (p∧q)) ↔ ⌝p(3) ⌝r→ (⌝p∨⌝q∨r)(4)(p∧q∧⌝r) ↔ (( ⌝p∨⌝q) →r)(1)真值为0.(2)真值为0.(3)真值为0.(4)真值为1.注意: p, q 是真命题, r 是假命题.1.16．略1.17．略1.18．略1.19．用真值表判断下列公式的类型:(1)p→ (p∨q∨r)(2)(p→⌝q) →⌝q(3) ⌝ (q→r) ∧r(4)(p→q) → (⌝q→⌝p)(5)(p∧r) ↔ ( ⌝p∧⌝q)(6)((p→q) ∧ (q→r)) → (p→r)(7)(p→q) ↔ (r↔s)(1), (4), (6)为重言式.(3)为矛盾式.(2), (5), (7)为可满足式.1.20．略1.21．略1.22．略1.23．略1.24．略1.25．略1.26．略1.27．略1.28．略1.29．略1.30．略1.31．将下列命题符号化, 并给出各命题的真值:(1)若3+＝4, 则地球是静止不动的.(2)若3+2＝4, 则地球是运动不止的. (3)若地球上没有树木, 则人类不能生存.(4)若地球上没有水, 则 3 是无理数.(1)p→q, 其中, p: 2+2＝4, q: 地球静止不动, 真值为0.(2)p→q, 其中, p: 2+2＝4, q: 地球运动不止, 真值为1.(3) ⌝p→⌝q, 其中, p: 地球上有树木, q: 人类能生存, 真值为1.(4) ⌝p→q, 其中, p: 地球上有水, q: 3 是无理数, 真值为1.习题二2.1. 设公式A = p→q, B = p⌝∧q, 用真值表验证公式A 和B 适合德摩根律:⌝(A∨B) ⇔ ⌝A⌝∧B.p q A =p→q B =p⌝∧q⌝(A∨B)⌝A⌝∧B0 0 1 0 0 00 1 1 0 0 01 0 0 1 0 01 1 1 0 0 0因为⌝(A∨B)和⌝A⌝∧B 的真值表相同, 所以它们等值.2.2. 略2.3. 用等值演算法判断下列公式的类型, 对不是重言式的可满足式, 再用真值表法求出成真赋值.(1) ⌝ (p∧q→q)(2)(p→ (p∨q)) ∨ (p→r)(3)(p∨q) → (p∧r)(1) ⌝ (p∧q→q)⇔ ⌝ (⌝(p∧q) ∨ q) ⇔ ⌝ (⌝p ∨ ⌝q ∨ q) ⇔ p∧q∧⌝q ⇔ p∧0 ⇔ 0 ⇔ 0. 矛盾式.(2)重言式.(3) (p∨q) → (p∧r) ⇔ ⌝(p∨q) ∨ (p∧r) ⇔ ⌝p⌝∧q ∨ p∧r 易见, 是可满足式, 但不是重言式. 成真赋值为: 000, 001, 101, 111p q r←p ∍ ←q (p∍r0 0 0 1 1 1 1 00 0 1 1 1 1 1 00 1 0 1 0 0 0 00 1 1 1 0 0 0 01 0 0 0 0 1 0 01 0 1 0 0 1 1 11 1 0 0 0 0 0 01 1 1 0 0 0 1 12.4. 用等值演算法证明下面等值式:(1) p⇔ (p∧q) ∨ (p∧⌝q)(3) ⌝ (p↔q) ⇔ (p∨q) ∧⌝ (p∧q)(4) (p∧⌝q) ∨ (⌝p∧q) ⇔ (p∨q) ∧⌝ (p∧q)(1) (p∧q) ∨ (p∧⌝q) ⇔ p ∧ (q⌝∨q) ⇔ p ∧ 1 ⇔ p.(3) ⌝ (p↔q)⇔⌝ ((p→q) ∧ (q→p))⇔⌝ ((⌝p∨q) ∧ (⌝q∨p))⇔ (p∧⌝q) ∨ (q∧⌝p)⇔ (p∨q) ∧ (p∨⌝p) ∧ (⌝q∨q) ∧ (⌝p∨⌝q)⇔ (p∨q) ∧⌝ (p∧q)(4) (p∧⌝q) ∨ (⌝p∧q)⇔ (p∨⌝p) ∧ (p∨q) ∧ (⌝q∨⌝p) ∧ (⌝q∨q)⇔ (p∨q) ∧⌝ (p∧q)2.5. 求下列公式的主析取范式, 并求成真赋值:(1)( ⌝p→q) → (⌝q∨p)(2) ⌝ (p→q) ∧q∧r(3)(p∨ (q∧r)) → (p∨q∨r)(1)(⌝p→q) → (⌝q∨p)⇔ ⌝(p∨q) ∨ (⌝q∨p)⇔ ⌝p∧⌝q ∨ ⌝q ∨ p⇔ ⌝p∧⌝q ∨ ⌝q ∨ p(吸收律)⇔ (p⌝∨p)⌝∧q ∨ p∧(q⌝∨q)⇔ p⌝∧q ⌝∨p⌝∧q ∨ p∧q ∨ p⌝∧q⇔ m10 ∨ m00 ∨ m11 ∨ m10⇔ m0 ∨ m2 ∨ m3⇔ ∑(0, 2, 3).成真赋值为00, 10, 11.(2)主析取范式为0, 无成真赋值, 为矛盾式.(3)m0∨m1∨m2∨m3∨m4∨m5∨m6∨m7, 为重言式.2.6. 求下列公式的主合取范式, 并求成假赋值:(1) ⌝ (q→⌝p) ∧⌝p(2)(p∧q) ∨ (⌝p∨r)(3)(p→ (p∨q)) ∨r(1) ⌝ (q⌝→p) ∧ ⌝p⇔ ⌝(⌝q⌝∨p) ∧ ⌝p⇔ q∧p ∧ ⌝p⇔ q∧0⇔ 0⇔ M0∧M1∧M2∧M3这是矛盾式. 成假赋值为00, 01, 10, 11.(2)M4, 成假赋值为100.(3)主合取范式为1, 为重言式.2.7. 求下列公式的主析取范式, 再用主析取范式求合取范式:(1)(p∧q) ∨r(2)(p→q) ∧ (q→r)(1)m1∨m3∨m5∨m6∨m7⇔M0∧M2∧M4(2)m0∨m1∨m3∨m7⇔M2∧M4∧M5∧M62.8. 略2.9. 用真值表求下面公式的主析取范式.(2) (p→q) → (p⌝↔q)p q(p q) (p ← q)0 0 1 0 0 10 1 1 1 1 01 0 0 1 1 11 1 1 0 0 0(2)从真值表可见成真赋值为01, 10. 于是(p → q) → (p⌝ ↔ q) ⇔ m1 ∨ m2.2.10. 略2.11. 略2.12. 略2.13. 略2.14. 略2.15. 用主析取范式判断下列公式是否等值:(1)(p→q) →r 与q→ (p→r)(2)(p→q) →r⇔ ⌝(⌝p∨q) ∨ r⇔ ⌝(⌝p∨q) ∨ r⇔ p⌝∧q ∨ r⇔ p⌝∧q∧(r⌝∨r) ∨ (p⌝∨p) ∧ (q⌝∨q)∧r⇔ p⌝∧q∧r ∨ p⌝∧q∧⌝r ∨p∧q∧r ∨ p∧⌝q∧r ∨ ⌝p∧q∧r ∨ ⌝p∧⌝q∧r= m101 ∨ m100 ∨ m111 ∨ m101 ∨ m011 ∨ m001⇔ m1 ∨ m3 ∨ m4 ∨ m5 ∨ m7= ∑(1, 3, 4, 5, 7).而q→(p→r)⇔ ⌝q ∨ (⌝p∨r)⇔ ⌝q ∨ ⌝p ∨r⇔ (⌝p∨p)⌝∧q∧(⌝r∨r) ∨ ⌝p∧(⌝q∨q)∧(⌝r∨r)∨ (⌝p∨p)∧(⌝q∨q)∧r⇔ (⌝p⌝∧q∧⌝r)∨(⌝p⌝∧q∧r)∨(p⌝∧q∧⌝r)∨(p⌝∧q∧r)∨(⌝p∧⌝q∧⌝r)∨(⌝p∧⌝q∧r)∨(⌝p∧q∧⌝r)∨(⌝p∧q∧r)∨(⌝p∧⌝q∧r)∨(⌝p∧q∧r)∨(p∧⌝q∧r)∨(p∧q∧r)= m0 ∨ m1 ∨ m4 ∨ m5∨ m0 ∨ m1 ∨ m2 ∨ m3∨ m1 ∨ m3 ∨ m5 ∨ m7⇔ m0 ∨ m1 ∨ m2 ∨ m3 ∨ m4 ∨ m5 ∨ m7⇔ ∑(0, 1, 2, 3, 4, 5, 7).两个公式的主吸取范式不同, 所以(p→q) →rœq→ (p→r).2.16. 用主析取范式判断下列公式是否等值:(1)(p→q) →r 与q→ (p→r)(2) ⌝ (p∧q)与⌝ (p∨q)(1)(p→q) →r) ⇔m1∨m3∨m4∨m5∨m7q→ (p→r) ⇔m0∨m1∨m2∨m3∨m4∨m5∨m7所以(p→q) →r) œq→ (p→r)(2)⌝ (p∧q) ⇔m0∨m1∨m2⌝ (p∨q) ⇔m0所以⌝ (p∧q) œ⌝ (p∨q)2.17. 用主合取范式判断下列公式是否等值:(1)p→ (q→r)与⌝ (p∧q) ∨r(2)p→ (q→r)与(p→q) →r(1)p→ (q→r) ⇔M6⌝ (p∧q) ∨r⇔M6所以p→ (q→r) ⇔ ⌝ (p∧q) ∨r(2)p→ (q→r) ⇔M6(p→q) →r⇔M0∧M1∧M2∧M6所以p→ (q→r) œ(p→q) →r2.18. 略2.19. 略2.20.将下列公式化成与之等值且仅含{⌝, →} 中联结词的公式.(3) (p∧q)↔r.注意到A↔B ⇔ (A→B)∧(B→A)和A∧B ⇔ ⌝(⌝A⌝∨B) ⇔ ⌝(A⌝→B)以及A∨B ⇔ ⌝A→B. (p∧q)↔r⇔ (p∧q → r) ∧ (r → p∧q)⇔ (⌝(p⌝→q) → r) ∧ (r → ⌝(p⌝→q))⇔ ⌝((⌝(p⌝→q) → r) → ⌝(r → ⌝(p⌝→q)))注 联结词越少, 公式越长.2.21. 证明:(1) (p↑q) ⇔ (q↑p), (p↓q) ⇔ (q↓p).(p↑q) ⇔ ⌝(p∧q) ⇔ ⌝(q∧p) ⇔ (q↑p).(p↓q) ⇔ ⌝(p∨q) ⇔ ⌝(q∨p) ⇔ (q↓p).2.22. 略2.23. 略2.24. 略2.25. 设A, B, C 为任意的命题公式.(1)若A∨C⇔B∨C, 举例说明A⇔B 不一定成立. (2)已知A∧C⇔B∧C, 举例说明A⇔B 不一定成立. (3)已知⌝A⇔⌝B, 问: A⇔B 一定成立吗?(1) 取A = p, B = q, C = 1 (重言式), 有A∨C ⇔ B∨C, 但A œB.(2) 取A = p, B = q, C = 0 (矛盾式), 有A∧C ⇔ B∧C, 但A œB.好的例子是简单, 具体, 而又说明问题的. (3)一定.2.26. 略2.27.某电路中有一个灯泡和三个开关A,B,C. 已知在且仅在下述四种情况下灯亮:(1)C 的扳键向上, A,B 的扳键向下.(2)A 的扳键向上, B,C 的扳键向下.(3)B,C 的扳键向上, A 的扳键向下.(4)A,B 的扳键向上, C 的扳键向下.设F 为1 表示灯亮, p,q,r 分别表示A,B,C 的扳键向上. (a)求F 的主析取范式.(b)在联结词完备集{⌝, ∧}上构造F. (c)在联结词完备集{⌝, →,↔}上构造F.(a)由条件(1)-(4)可知, F 的主析取范式为F⇔ (⌝p∧⌝q∧r) ∨ (p∧⌝q∧⌝r) ∨ (⌝p∧q∧r) ∨ (p∧q∧⌝r)⇔m1∨m4∨m3∨m6⇔m1∨m3∨m4∨m6(b)先化简公式F⇔ (⌝p∧⌝q∧r) ∨ (p∧⌝q∧⌝r) ∨ (⌝p∧q∧r) ∨ (p∧q∧⌝r)⇔⌝q∧ ((⌝p∧r) ∨ (p∧⌝r)) ∨q∧ ((⌝p∧r) ∨ (p∧⌝r))⇔ (⌝q∨q) ∧ ((⌝p∧r) ∨ (p∧⌝r))⇔ (⌝p∧r) ∨ (p∧⌝r)⇔⌝ (⌝ (⌝p∧r) ∧⌝ (p∧⌝r)) (已为{⌝, ∧}中公式)(c)F⇔ (⌝p∧r) ∨ (p∧⌝r)⇔⌝⌝ (⌝p∧r) ∨ (p∧⌝r)⇔⌝ (⌝p∧r) → (p∧⌝r)⇔ (p∨⌝r) →⌝ (⌝p∨r)⇔ (r→p) →⌝ (p→r) (已为{⌝, →,↔}中公式)2.28.一个排队线路, 输入为A,B,C, 其输出分别为F A,F B,F C. 本线路中, 在同一时间内只能有一个信号通过, 若同时有两个和两个以上信号申请输出时, 则按A,B,C 的顺序输出. 写出F A,F B,F C 在联结词完备集{⌝, ∨}中的表达式.根据题目中的要求, 先写出F A,F B,F C 的真值表(自己写) 由真值表可先求出他们的主析取范式, 然后化成{⌝, ∧}中的公式F A⇔m4∨m5∨m6∨m7⇔p (已为{⌝, ∧}中公式)F B⇔m2∨m3⇔⌝p∧q (已为{⌝, ∧}中公式)F C⇔m1⇔⌝p∧⌝q∧r (已为{⌝, ∧}中公式)2.29. 略2.30. 略习题三3.1. 略3.2. 略3.3. 略3.4. 略3.5. 略3.6. 判断下面推理是否正确. 先将简单命题符号化, 再写出前提, 结论, 推理的形式结构(以蕴涵式的形式给出)和判断过程(至少给出两种判断方法):(1)若今天是星期一, 则明天是星期三；今天是星期一. 所以明天是星期三. (2)若今天是星期一, 则明天是星期二；明天是星期二. 所以今天是星期一. (3)若今天是星期一, 则明天是星期三；明天不是星期三. 所以今天不是星期一. (4)若今天是星期一, 则明天是星期二；今天不是星期一. 所以明天不是星期二. (5)若今天是星期一, 则明天是星期二或星期三. (6)今天是星期一当且仅当明天是星期三；今天不是星期一. 所以明天不是星期三.设p: 今天是星期一, q: 明天是星期二, r: 明天是星期三. (1)推理的形式结构为(p→r) ∧p→r此形式结构为重言式, 即(p→r) ∧p⇒r 所以推理正确. (2)推理的形式结构为(p→q) ∧q→p 此形式结构不是重言式, 故推理不正确. (3)推理形式结构为(p→r) ∧⌝r→⌝p此形式结构为重言式, 即(p→r) ∧⌝r⇒⌝p故推理正确. (4)推理形式结构为(p→q) ∧⌝p→⌝q此形式结构不是重言式, 故推理不正确.(5)推理形式结构为p→ (q∨r)它不是重言式, 故推理不正确. (6)推理形式结构为(p⇒r) ∧⌝p→⌝r此形式结构为重言式, 即(p⇒r) ∧⌝p⇒⌝r故推理正确.推理是否正确, 可用多种方法证明. 证明的方法有真值表法, 等式演算法. 证明推理正确还可用构造证明法.下面用构造证明法证明(6)推理正确.前提: p⇒r, ⌝p结论: ⌝r证明: ①p⇒r 前提引入②(p→r) ∧ (r→p) ①置换③r→p ②化简律④⌝p 前提引入⑤⌝r ③④拒取式所以, 推理正确.3.7. 略3.8. 略3.9. 用三种方法(真值表法, 等值演算法, 主析取范式法)证明下面推理是正确的:若a 是奇数, 则a 不能被2 整除. 若a 是偶数, 则a 能被2 整除. 因此, 如果a 是偶数, 则a 不是奇数.令p: a 是奇数; q: a 能被2 整除; r: a 是偶数. 前提: p → ⌝q, r → q.结论: r → ⌝p.形式结构: (p → ⌝q) ∧ (r → q) → (r → ⌝p).……3.10.略3.11.略3.12.略3.13.略3.14.在自然推理系统P 中构造下面推理的证明:(1)前提: p→ (q→r), p, q结论: r∨s(2)前提: p→q, ⌝ (q∧r), r结论: ⌝p(3)前提: p→q结论: p→ (p∧q)(4)前提: q→p, q⇒s, s⇒t, t∧r结论: p∧q(5)前提: p→r, q→s, p∧q结论: r∧s(6)前提: ⌝p∨r, ⌝q∨s, p∧q结论: t→ (r∨s) (1)证明:①②p→(q→r)p前提引入前提引入③④q→rq①②假言推理前提引入⑤r③④假言推理⑥r∨s⑤附加律(2)证明:①②③⌝ (q∧r)⌝q∨⌝rr前提引入①置换前提引入④⑤⑥⌝qp→q⌝p②③析取三段论前提引入④⑤拒取式(3)证明:①p→q前提引入②⌝p∨q①置换③(⌝p∨q) ∧ (⌝p∨p)②置换④⌝p∨ (p∧q)③置换⑤p→ (p∧q) ④置换也可以用附加前提证明法, 更简单些.(4)证明:①②③④⑤s⇒t(s→t) ∧ (t→s)t→st∧rt前提引入①置换②化简前提引入④化简⑥s③⑤假言推理⑦⑧⑨⑩q⇒s(s→q) ∧ (q→s)s→qq前提引入⑦置换⑧化简⑥⑥假言推理○11 q →p前提引入○12 ○13 pp∧q⑩○11 假言推理⑩○12 合取(5)证明:①②p→rq→s前提引入前提引入③④p∧qp前提引入③化简⑤q③化简⑥r①④假言推理⑦s②⑤假言推理⑧r∧s⑥⑦合取(6)证明:①②t⌝p∨r附加前提引入前提引入③④p∧qp前提引入③化简⑤r②④析取三段论⑥r∨s⑤附加说明: 证明中, 附加提前t, 前提⌝q∨s 没用上. 这仍是正确的推理.3.15.在自然推理系统P 中用附加前提法证明下面各推理:(1)前提: p→ (q→r), s→p, q结论: s→r(2)前提: (p∨q) → (r∧s), (s∨t) →u结论: p→u(1)证明:①②ss→p附加前提引入前提引入③p①②假言推理④⑤⑥p→ (q→r)q→rq前提引入③④假言推理前提引入⑦r⑤⑥假言推理(2)证明:①②Pp∨q附加前提引入①附加③(p∨q) → (r∧s) 前提引入④⑤r∧sS②③假言推理④化简⑥⑦⑧s∨t(s∨t) →uu⑤附加前提引入⑥⑦假言推理3.16.在自然推理系统P 中用归谬法证明下面推理:(1)前提: p→⌝q, ⌝r∨q, r∧⌝s结论: ⌝p(2)前提: p∨q, p→r, q→s结论: r∨s(1)证明:①②Pp→⌝q结论否定引入前提引入③④⑤⑥⑦⌝q⌝r∨q⌝rr∧⌝sr①②假言推理前提引入③④析取三段论前提引入⑥化简⑧⌝r∧r⑤⑦合取⑧为矛盾式, 由归谬法可知, 推理正确.(2)证明:①⌝ (r∨s)结论否定引入②p∨q前提引入③p→r前提引入④q→s前提引入⑤r∨s②③④构造性二难⑥⌝ (r∨s) ∧ (r∨s)①⑤合取①②③④⑤⑥⑦pp q(rq(rss ←q←qr①②假言推理前提引入前提引入⑥为矛盾式, 所以推理正确.3.17.P53 17. 在自然推理系统P 中构造下面推理的证明:只要A 曾到过受害者房间并且11 点以前没用离开, A 就犯了谋杀罪. A 曾到过受害者房间. 如果A 在11 点以前离开, 看门人会看到他. 看门人没有看到他. 所以A 犯了谋杀罪.令p: A 曾到过受害者房间; q: A 在11 点以前离开了; r: A 就犯了谋杀罪; s:看门人看到A.前提: p⌝∧q → r, p, q → s, ⌝s.结论: r.前提: p⌝∧q → r, p, q → s, ⌝s; 结论: r.证明:①⌝s 前提引入②q → s 前提引入③⌝q ①②拒取④p 前提引入⑤p⌝∧q ③④合取⑥p⌝∧q → r 前提引入⑦r ⑤⑥假言推理3.18.在自然推理系统P 中构造下面推理的证明.(1)如果今天是星期六, 我们就要到颐和园或圆明园去玩. 如果颐和园游人太多, 我们就不去颐和园玩.今天是星期六. 颐和园游人太多. 所以我们去圆明园玩.(2)如果小王是理科学生, 他的数学成绩一定很好. 如果小王不是文科生, 他必是理科生. 小王的数学成绩不好. 所以小王是文科学生.(3)明天是晴天, 或是雨天；若明天是晴天, 我就去看电影；若我看电影, 我就不看书. 所以, 如果我看书,则明天是雨天.(1)令p: 今天是星期六; q: 我们要到颐和园玩; r: 我们要到圆明园玩; s:颐和园游人太多.前提: p→ (q∨r), s → ⌝q, p, s.结论: r.前提引入前提引入p p→q∨rq∨rs s → ⌝q⌝qr④⑤假言推理(1)的证明树③⑥析取三段论① p →r 前提引入 ② ⌝r 前提引入 ③ ⌝p ①②拒取式 ④ ⌝q →p 前提引入 ⑤q③④拒取式(2) 令 p : 小王是理科生, q : 小王是文科生, r : 小王的数学成绩很好. 前提: p →r , ⌝q →p , ⌝r 结论: q 证明:⌝qp →q⌝p⌝r →p(2)的证明树 r(3)令 p : 明天是晴天, q : 明天是雨天, r : 我看电影, s : 我看书. 前提: p ∨q , p →r , r →⌝s结论: s →q 证明:① ② s r →⌝s 附加前提引入 前提引入 ③ ⌝r ①②拒取式 ④ p →r 前提引入 ⑤ ⌝p ③④拒取式 ⑥ p ∨q 前提引入 ⑦q⑤⑥析取三段论习题四4.1. 将下面命题用0 元谓词符号化:(1)小王学过英语和法语. (2)除非李建是东北人, 否则他一定怕冷.(1) 令F(x): x 学过英语; F(x): x 学过法语; a: 小王. 符号化为F(a)∧F(b).或进一步细分, 令L(x, y): x 学过y; a: 小王; b1: 英语; b2: 法语. 则符号化为L(a, b1)∧L(a, b2).(2) 令F(x): x 是东北人; G(x): x 怕冷; a: 李建. 符号化为⌝F(a)→G(a) 或⌝G(a)→F(a).或进一步细分, 令H(x, y): x 是y 地方人; G(x): x 怕冷; a: 小王; b: 东北. 则符号化为⌝H(a, b)→G(a) 或⌝G(a)→ H(a, b).4.2. 在一阶逻辑中将下面命题符号化, 并分别讨论个体域限制为(a),(b)时命题的真值:(1)凡有理数都能被2 整除.(2)有的有理数能被2 整除. 其中(a)个体域为有理数集合, (b)个体域为实数集合.(1)(a)中, ∀xF(x), 其中, F(x): x 能被2 整除, 真值为0.(b)中, ∀x(G(x) ∧F(x)), 其中, G(x): x 为有理数, F(x)同(a)中, 真值为0. (2)(a)中, ∃xF(x), 其中, F(x): x 能被2 整除, 真值为1.(b)中, ∃x(G(x) ∧F(x)), 其中, F(x)同(a)中, G(x): x 为有理数, 真值为1.4.3. 在一阶逻辑中将下面命题符号化, 并分别讨论个体域限制为(a),(b)时命题的真值:(1)对于任意的x, 均有x2-2=(x+ 2 )(x- 2 ).(2)存在x, 使得x+5=9.其中(a)个体域为自然数集合, (b)个体域为实数集合.(1)(a)中, ∀x(x2-2=(x+ 2 x- 2 真值为1.(b)中, ∀x(F(x) → (x2-2=(x+ 2 x- 2 其中, F(x): x 为实数, 真值为1. (2)(a)中, ∃x(x+5=9), 真值为1.(b)中, ∃x(F(x) ∧ (x+5=9)), 其中, F(x): x 为实数, 真值为1.4.4. 在一阶逻辑中将下列命题符号化:(1)没有不能表示成分数的有理数.(2)在北京卖菜的人不全是外地人.(3)乌鸦都是黑色的. (4)有的人天天锻炼身体.没指定个体域, 因而使用全总个体域.(1) ⌝∃x(F(x) ∧⌝G(x))或∀x(F(x) →G(x)), 其中, F(x): x 为有理数, G(x): x 能表示成分数.(2) ⌝∀x(F(x) →G(x))或∃x(F(x) ∧⌝G(x)), 其中, F(x): x 在北京卖菜, G(x): x 是外地人.(3) ∀x(F(x) →G(x)), 其中, F(x): x 是乌鸦, G(x): x 是黑色的.(4) ∃x(F(x) ∧G(x)), 其中, F(x): x 是人, G(x): x 天天锻炼身体.4.5. 在一阶逻辑中将下列命题符号化:(1)火车都比轮船快. (2)有的火车比有的汽车快. (3)不存在比所有火车都快的汽车. (4)“凡是汽车就比火车慢”是不对的.因为没指明个体域, 因而使用全总个体域(1) ∀x∀y(F(x) ∧G(y) →H(x,y)), 其中, F(x): x 是火车, G(y): y 是轮船, H(x,y):x 比y 快.(2) ∃x∃y(F(x) ∧G(y) ∧H(x,y)), 其中, F(x): x 是火车, G(y): y 是汽车, H(x,y):x 比y 快.(3) ⌝∃x(F(x) ∧∀y(G(y) →H(x,y)))或∀x(F(x) →∃y(G(y) ∧⌝H(x,y))), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比y 快.(4) ⌝∀x∀y(F(x) ∧G(y) →H(x,y))或∃x∃y(F(x) ∧G(y) ∧⌝H(x,y) ), 其中, F(x): x 是汽车, G(y): y 是火车, H(x,y):x 比y 慢.4.6. 略4.7. 将下列各公式翻译成自然语言, 个体域为整数集®, 并判断各命题的真假.(1) ∀x∀y∃z(x - y = z);(2) ∀x∃y(x⋅y = 1).(1) 可选的翻译:①“任意两个整数的差是整数.”②“对于任意两个整数, 都存在第三个整数, 它等于这两个整数相减.”③“对于任意整数x 和y, 都存在整数z, 使得x - y = z.”选③, 直接翻译, 无需数理逻辑以外的知识. 以下翻译意思相同, 都是错的:“有个整数, 它是任意两个整数的差.”“存在一个整数, 对于任意两个整数, 第一个整数都等于这两个整数相减.”❶ “存在整数z, 使得对于任意整数x 和y, 都有x - y = z.”这3 个句子都可以符号化为∃z∀x∀y(x - y = z).0量词顺序不可随意调换.(2) 可选的翻译:①“每个整数都有一个倒数.”②“对于每个整数, 都能找到另一个整数, 它们相乘结果是零.”③“对于任意整数x, 都存在整数y, 使得x⋅y = z.”选③, 是直接翻译, 无需数理逻辑以外的知识.4.8. 指出下列公式中的指导变元, 量词的辖域, 各个体变项的自由出现和约束出现:(3)∀x∃y(F(x, y) ∧ G(y, z)) ∨ ∃xH(x, y, z)∀x∃y(F(x,y)∧ G(y,z))∨ ∃x H(x,y,z)前件∀x∃y(F(x, y)∧G(y, z)) 中, ∀ 的指导变元是x, ∀ 的辖域是∃y(F(x, y)∧G(y, z)); ∃ 的指导变元是y, ∃ 的辖域是(F(x, y)∧G(y, z)).后件∃xH(x, y, z) 中, ∃ 的指导变元是x, ∃ 的辖域是H(x, y, z).整个公式中, x 约束出现两次, y 约束出现两次, 自由出现一次; z 自由出现两次.4.9. 给定解释I 如下:(a)个体域D I 为实数集合\.(b)D I 中特定元素↓a =0.(c)特定函数↓f (x,y)=x-y, x,y∈D I.(d)特定谓词↓F(x,y): x=y,↓G(x,y): x<y, x,y∈D I. 说明下列公式在I 下的含义, 并指出各公式的真值:(1)∀x∀y(G(x,y) →⌝F(x,y))(2) ∀x∀y(F(f(x,y),a) →G(x,y))(3) ∀x∀y(G(x,y) →⌝F(f(x,y),a))(4) ∀x∀y(G(f(x,y),a) →F(x,y))(1) ∀x∀y(x<y→x≠y), 真值为1.(2) ∀x∀y((x-y=0) →x<y), 真值为0.(3) ∀x∀y((x<y) → (x-y≠0)), 真值为1.(4) ∀x∀y((x-y<0) → (x=y)), 真值为0.4.10.给定解释I 如下:(a)个体域D=Æ(Æ为自然数).(b)D 中特定元素↓a=2.(c)D 上函数↓f (x,y)=x+y,↓g (x,y)=x·y.(d)D 上谓词↓F (x,y): x=y.说明下列公式在I 下的含义, 并指出各公式的真值:(1) ∀xF(g(x,a),x)(2) ∀x∀y(F(f(x,a),y) →F(f(y,a),x))(3) ∀x∀y∃z(F(f(x,y),z)(4) ∃xF(f(x,x),g(x,x))(1) ∀x(x·2=x), 真值为0.(2) ∀x∀y((x+2=y) → (y+2=x)), 真值为0.(3) ∀x∀y∃z(x+y=z),真值为1.(4) ∃x(x+x=x·x),真值为1.4.11.判断下列各式的类型:(1) F(x, y) → (G(x, y) → F(x, y)).(3) ∀x∃yF(x, y) → ∃x∀yF(x, y).(5) ∀x∀y(F(x, y) → F(y, x)).(1) 是命题重言式p → (q → p) 的代换实例, 所以是永真式.(3) 在某些解释下为假(举例), 在某些解释下为真(举例), 所以是非永真式的可满足式.(5) 同(3).4.12.P69 12. 设I 为一个任意的解释, 在解释I 下, 下面哪些公式一定是命题?(1) ∀xF(x, y) → ∃yG(x, y).(2) ∀x(F(x) → G(x)) ∧ ∃y(F( y) ∧ H( y)).(3) ∀x(∀yF(x, y) → ∃yG(x, y)).(4) ∀x(F(x) ∧ G(x)) ∧ H( y).(2), (3) 一定是命题, 因为它们是闭式.4.13.略4.14.证明下面公式既不是永真式也不是矛盾式:(1) ∀x(F(x) →∃y(G(y) ∧H(x,y)))(2) ∀x∀y(F(x) ∧G(y) →H(x,y))(1) 取个体域为全总个体域.解释I1: F(x): x 为有理数, G(y): y 为整数, H(x,y): x<y在I1 下: ∀x(F(x) →∃y(G(y) ∧H(x,y)))为真命题, 所以该公式不是矛盾式.解释I2: F(x),G(y)同I1, H(x,y): y 整除x.在I2 下: ∀x(F(x) →∃y(G(y) ∧H(x,y)))为假命题, 所以该公式不是永真式.(2) 请读者给出不同解释, 使其分别为成真和成假的命题即可.4.15.(1) 给出一个非闭式的永真式.(2) 给出一个非闭式的永假式.(3) 给出一个非闭式的可满足式, 但不是永真式.(1) F(x) ∨ ⌝F(x).(2) F(x) ∧ ⌝F(x).(3) ∀x(F(x, y) → F(y, x)).习题五5.1. 略5.2. 设个体域D={a,b,c}, 消去下列各式的量词:(1) ∀x∃y(F(x) ∧G(y))(2) ∀x∀y(F(x) ∨G(y))(3) ∀xF(x) →∀yG(y)(4) ∀x(F(x,y) →∃yG(y))(1) ∀x∃y(F(x) ∧G(y))⇔∀xF(x) ∧∃yG(y)⇔ (F(a) ∧F(b)) ∧F(c)) ∧ (G(a) ∨G(b) ∨G(c))(2) ∀x∀y(F(x) ∨G(y))⇔∀xF(x) ∨∀yG(y)⇔ (F(a) ∧F(b) ∧F(c)) ∨ (G(a) ∧G(b) ∧G(c))(3) ∀xF(x) →∀yG(y)⇔ (F(a) ∧F(b) ∧F(c)) → (G(a) ∧G(b) ∧G(c))(4) ∀x(F(x,y) →∃yG(y))⇔∃xF(x,y) →∃yG(y)⇔ (F(a,y) ∨F(b,y) ∨F(c,y)) → (G(a) ∨G(b) ∨G(c))5.3. 设个体域D={1,2}, 请给出两种不同的解释I1 和I2, 使得下面公式在I1 下都是真命题, 而在I2 下都是假命题.(1) ∀x(F(x) →G(x))(2) ∃x(F(x) ∧G(x))(1)I1: F(x):x≤2,G(x):x≤3F(1),F(2),G(1),G(2)均为真, 所以∀x(F(x) →G(x))⇔ (F(1) →G(1) ∧ (F(2) →G(2))为真.I2: F(x)同I1,G(x):x≤0则F(1),F(2)均为真, 而G(1),G(2)均为假,∀x(F(x) →G(x))为假. (2)留给读者自己做.5.4. 略5.5. 给定解释I 如下:(a)个体域D={3,4}.(b)↓f (x)为↓f (3)=4,↓f (4)=3. (c)↓F(x,y)为↓F(3,3)=↓F(4,4)=0,↓F(3,4)=↓F(4,3)=1.试求下列公式在I 下的真值:(1)∀x∃yF(x,y)(2)∃x∀yF(x,y)(3) ∀x∀y(F(x,y) →F(f(x),f(y)))(1)∀x∃yF(x,y)⇔ (F(3,3) ∨F(3,4)) ∧ (F(4,3) ∨F(4,4))⇔ (0∨1) ∧ (1∨0) ⇔1(2)∃x∀yF(x,y)⇔ (F(3,3) ∧F(3,4)) ∨ (F(4,3) ∧F(4,4))⇔ (0∧1) ∨ (1∧0) ⇔0(3) ∀x∀y(F(x,y) →F(f(x),f(y)))⇔ (F(3,3) →F(f(3),f(3)))∧ (F(4,3) →F(f(4),f(3)))∧ (F(3,4) →F(f(3),f(4)))∧ (F(4,4) →F(f(4),f(4)))⇔ (0→0) ∧ (1→1) ∧ (1→1) ∧ (0→0) ⇔15.6. 略5.7. 略5.8. 在一阶逻辑中将下列命题符号化, 要求用两种不同的等值形式.(1) 没有小于负数的正数.(2) 相等的两个角未必都是对顶角.(1) 令F(x): x 小于负数, G(x): x 是正数. 符合化为:∃⌝x((F(x) ∧ G(x)) ⇔ ∀x(G(x) → ⌝G(x)).(2) 令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))⇔ ∃x∃y(F(x) ∧ F(y) ∧ H(x, y) ∧ ⌝L(x, y))⇔ ∃x(F(x) ∧ (∃y(F(y) ∧ H(x, y) ∧ ⌝L(x, y))).5.9. 略5.10.略5.11.略5.12.求下列各式的前束范式.(1) ∀xF(x) → ∀yG(x, y);(3) ∀xF(x, y) ↔ ∃xG(x, y);(5) ∃x1F(x1, x2) → (F(x1) → ∃⌝x2G(x1, x2)).前束范式不是唯一的.(1) ∀xF(x) → ∀yG(x, y)⇔ ∃x(F(x) → ∀yG(x, y))⇔ ∃x∀y(F(x) → G(x, y)).(3) ∀xF(x, y) ↔ ∃xG(x, y)⇔ (∀xF(x, y) → ∃xG(x, y)) ∧ (∃xG(x, y) → ∀xF(x, y))⇔ (∀x1F(x1, y) → ∃x2G(x2, y)) ∧ (∃x3G(x3, y) → ∀x4F(x4, y))⇔ ∃x1∃x2(F(x1, y) → G(x2, y)) ∧ ∀x3∀x4(G(x3, y) → F(x4, y))⇔ ∃x1∃x2∀x3∀x4((F(x1, y) → G(x2, y)) ∧ (G(x3, y) → F(x4, y))).5.13.将下列命题符号化, 要求符号化的公式全为前束范式:(1) 有的汽车比有的火车跑得快.(2) 有的火车比所有的汽车跑得快.(3) 说所有的火车比所有的汽车跑得快是不对的.(4) 说有的飞机比有的汽车慢是不对的.(1) 令F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比y 跑得快.∃x(F(x) ∧ ∃y(G( y) ∧ H(x, y))⇔ ∃x∃y(F(x) ∧ G( y) ∧ H(x, y)).(2)令F(x): x 是火车, G( y): y 是汽车, H(x, y): x 比y 跑得快.∃x(F(x) ∧ ∀y(G( y) → H(x, y)))⇔ ∃x∀y(F(x) ∧ (G( y) → H(x, y))).0错误的答案: ∃x∀y(F(x) ∧ G( y) → H(x, y)).(3)令F(x): x 是火车, G( y): y 是汽车, H(x, y): x 比y 跑得快.⌝∀x(F(x) → ∀y(G( y) → H(x, y)))⇔ ⌝∀x∀y(F(x) → (G( y) → H(x, y)))⇔ ⌝∀x∀y(F(x) ∧ G( y) → H(x, y)) (不是前束范式)⇔ ∃x∃y(F(x) ∧ G( y) ∧ H(x, y)).(4)令F(x): x 是飞机, G( y): y 是汽车, H(x, y): x 比y 跑得慢.⌝ ∃x(F(x) ∧ ∃y(G( y) ∧ H(x, y)))⇔ ⌝ ∃x∃y(F(x) ∧ G( y) ∧ H(x, y)) (不是前束范式)⇔ ∀x∀y ⌝ (F(x) ∧ G( y) ∧ H(x, y))⇔ ∀x∀y(F(x) ∧ G( y) → ⌝H(x, y)).5.14.略5.15.在自然推理系统F 中构造下面推理的证明:(1) 前提: ∃xF(x) → ∀y((F(y) ∨ G(y)) → R(y)), ∃xF(x)结论: ∃xR(x).(2) 前提: ∀x(F(x) → (G(a) ∧R(x))), ∃xF(x)结论: ∃x(F(x) ∧R(x))(3) 前提: ∀x(F(x) ∨G(x)), ⌝∃xG(x)结论: ∃xF(x)(4) 前提: ∀x(F(x) ∨G(x)), ∀x(⌝G(x) ∨⌝R(x)), ∀xR(x)结论: ∀xF(x)①∃xF(x) → ∀y((F(y) ∨ G(y)) → R(y)) 前提引入②∃xF(x) 前提引入③∀y((F(y) ∨ G(y)) → R(y)) ①②假言推理④(F(c) ∨ G(c)) → R(c) ③UI⑤F(c) ①EI⑥F(c) ∨ G(c) ⑤附加⑦⑧R(c)∃xR(x)④⑥假言推理⑦EG(2) 证明:①∃xF(x) 前提引入②F(c) ①EI③∀x(F(x) → (G(a) ∧ (R(x))) 前提引入④F(c) → (G(a) ∧R(c)) ④UI⑤G(a) ∧R(c) ②④假言推理⑥R(c) ⑤化简⑦F(c) ∧R(c) ②⑥合取⑧∃x(F(x) ∧R(x)) ⑥E G(3) 证明:①⌝∃xG(x) 前提引入②∀x⌝G(x) ①置换③⌝G(c)②UI④∀x(F(x) ∨G(x) 前提引入⑤F(c) ∨G(c) ④UI⑥F(c) ③⑤析取三段论⑦∃xF(x) ⑥E G(4) 证明:①∀x(F(x) ∨G(x)) 前提引入②F(y) ∨G(y) ①UI③∀x(⌝G(x) ∨⌝R(x)) 前提引入④⌝G(y) ∨⌝R(y)③UI⑤∀xR(x) 前提引入⑥R(y) ⑤UI⑦⌝G(y) ④⑥析取三段论⑧F(y) ②⑦析取三段论⑥∀xF(x) U G5.16.略5.18.略5.19.略5.20.略5.21.略5.22.略5.23.在自然推理系统F 中, 证明下面推理:(1) 每个有理数都是实数, 有的有理数是整数, 因此有的实数是整数.(2) 有理数, 无理数都是实数, 虚数不是实数, 因此虚数既不是有理数, 也不是无理数.(3) 不存在能表示成分数的无理数, 有理数都能表示成分数, 因此有理数都不是无理数.(1)设F(x):x 为有理数, R(x):x 为实数, G(x):x 是整数.前提: ∀x(F(x) →R(x)), ∃x(F(x) ∧G(x))结论: ∃x(R(x) ∧G(x))证明:①∃x(F(x) ∧G(x)) 前提引入②F(c) ∧G(c) ①EI③F(c) ②化简④G(c) ②化简⑤∀x(F(x) →R(x)) 前提引入⑥F(c) →R(c) ⑤UI⑦R(c) ③⑥假言推理⑧R(c) ∧G(c) ④⑦合取⑥∃x(R(x) ∧G(x)) ⑧EG(2)设: F(x):x 为有理数, G(x):x 为无理数, R(x)为实数, H(x)为虚数前提: ∀x((F(x) ∨G(x)) →R(x)), ∀x(H(x) →⌝R(x))结论: ∀x(H(x) → (⌝F(x) ∧⌝G(x)))证明:①∀x((F(x) ∨G(x) →R(x)) 前提引入②F(y) ∨G(y)) →R(y) ①UI③∀x(H(x) →⌝R(x)) 前提引入④H(y) →⌝R(y)③UI⑤⌝R(y) →⌝ (F(y) ∨G(y)) ②置换⑥H(y) →⌝ (F(y) ∨G(y)) ④⑤假言三段论⑦H(y) → (⌝F(y) ∧⌝G(y)) ⑥置换⑧∀x(H(x) → (⌝F(x) ∧⌝G(x)))⑦UG(3)设: F(x):x 能表示成分数, G(x):x 为无理数, H(x)为有理数前提: ∀x(G(x) →⌝F(x)), ∀x(H(x) →F(x))结论: ∀x(H(x) →⌝G(x))证明:①∀x(H(x) →F(x)) 前提引入②H(y) →F(y) ①UI③∀x(G(x) →⌝F(x)) 前提引入④G(y) →⌝F(y)③UI⑤F(y) →⌝G(y) ④置换⑥H(y) →⌝G(y) ②⑤假言三段论⑦∀x(H(x) →⌝G(x))⑥UG5.24.在自然推理系统F 中, 构造下面推理的证明:每个喜欢步行的人都不喜欢骑自行车. 每个人或者喜欢骑自行车或者喜欢乘汽车. 有的人不喜欢乘汽车, 所以有的人不喜欢步行. (个体域为人类集合)令F(x): x 喜欢步行, G( x): x 喜欢骑自行车, H(x): x 喜欢乘汽车.前提: ∀x(F(x) → ⌝G(x)), ∀x(G(x) ∨ H(y)), ∃x⌝H(x).结论: ∃x⌝F(x).①∀x(G(x) ∨ H(y)) 前提引入②G(c) ∨ H(c) ①UI③∃x⌝H(x) 前提引入④⌝H(c) ③UI⑤G(c) ②④析取三段⑥∀x(F(x) → ⌝G(x)) 前提引入⑦F(c) → ⌝G(c) ⑥UI⑧⌝F(c) ⑤⑦拒取⑨∃x⌝F(x) ⑧EG5.25.略习题六6.1. 选择适当的谓词表示下列集合:(1)小于5 的非负整数(2)奇整数集合(3)10 的整倍数的集合(1){x|x∈®∧0≤x<5}(2){x|x=2k+1∧k∈®}(3){x|x=10k∧k∈®}6.2. 用列元素法表示下列集合:(1)S1＝{x|x 是十进制的数字}(2)S2＝{x|x＝2∨x＝5}(3)S3＝{x|x＝x∈®∧3<x<12}(4)S4＝{x|x∈\∧x2－1＝0∧x>3}(5)S5＝{〈x, y>|x, y∈®∧0≤x≤2∧-1≤y≤0}(1) S1={0,1,2,3,4,5,6,7,8,9}(2) S2={2,5}(3) S3={4,5,6,7,8,9,10,11}(4) S4=∅(5) S5={〈0, -1〉,〈1, -1〉,〈2, -1〉,〈0,0〉,〈1,0〉,〈2,0〉}6.3. 略6.4. 设F 表示一年级大学生的集合, S 表示二年级大学生的集合, M 表示数学专业学生的集合, R 表示计算机专业学生的集合, T 表示听离散数学课学生的集合, G 表示星期一晚上参加音乐会的学生的集合, H 表示星期一晚上很迟才睡觉的学生的集合. 问下列各句子所对应的集合表达式分别是什么? 请从备选的答案中挑出来.(1)所有计算机专业二年级的学生在学离散数学课. (2)这些且只有这些学离散数学课的学生或者星期一晚上去听音乐会的学生在星期一晚上很迟才睡觉.(3)听离散数学课的学生都没参加星期一晚上的音乐会.(4)这个音乐会只有大学一, 二年级的学生参加. (5)除去数学专业和计算机专业以外的二年级学生都去参加了音乐会.备选答案:①T⊆G∪H ②G∪H⊆T ③S∩R⊆T④H＝G∪T ⑤T∩G＝∅ ⑥F∪S⊆G⑦G⊆F∪S ⑧S- (R∪M) ⊆G ⑥G⊆S- (R∩M)答案:(1)③S∩R⊆T(2)④H=G∪T(3) ⑤T∩G=∅(4)⑦G⊆F∪S(5) ⑧S- (R∪M) ⊆G6.5. 确定下列命题是否为真:(1) ∅⊆∅(2) ∅∈∅(3) ∅⊆{∅}(4) ∅∈{∅}(5){a, b}⊆{a, b, c, {a, b, c}}(6){a, b}∈{a, b, c, {a, b }}(7){a, b} {a, b, {{a, b}}}(8){a, b}∈{a, b, {{a, b}}}(1) 真(2)假(3) 真(4) 真(5) 真(6) 真(7) 真(8) 假6.6. 略6.7. 略6.8. 略6.9. 略6.10.略6.11.略6.12.略6.13.略6.14.略6.15.略6.16.略6.17.略6.18.略6.19.略6.20.略6.21.略6.22.略6.23.略6.24.略6.25.略6.26.略6.27.略6.28.略6.29.略6.30.略6.31.略6.32.略6.33.略6.34.略6.35.略6.36.略6.37.略6.38.略6.39.略6.40.略6.41.略6.42.略6.43.略6.44.略6.45.略习题七7.1. 已知A={∅,{∅}},求A×P(A).A×P(A)={ 〈 ∅,∅〉,〈∅,{∅}〉,〈∅,{{∅}}〉,〈∅,{∅,{∅}}〉,〈{∅},∅〉,〈{∅},{∅}〉,〈{∅},{{∅}}〉, 〈{∅},{∅,{∅}}〉}7.2. 对于任意集合A,B,C, 若A×B⊆A×C,是否一定有B⊆C 成立? 为什么?不一定, 因为有反例: A=∅,B={1},C={2},B⊆C,A×B=∅=A×C.7.3. 设A, B, C, D 是任意集合,(1) 求证(A∩B)×(C∩D)=(A×C)∩(B×D).(2) 下列等式中哪个成立? 那些不成立?对于成立的给出证明, 对于不成立的举一反例.(A∪B)×(C∪D)=(A×C)∪(B×D)(A-B)×(C-D)=(A×C) - (B×D)(1) ∀〈x,y〉〈x,y〉∈(A∩B)×(C∩D) ⇔x∈A∩B∧y∈C∩D⇔ (x∈A∧x∈B) ∧ (y∈C∧y∈D) ⇔ (x∈A∧y∈C) ∧ (x∈B∧y∈D)⇔〈x,y〉∈(A×B) ∧〈x,y〉∈(C×D) ⇔〈x,y〉∈A×B∩C×D(A∩B)×(C∩D)=(A×C)∩(B×D)(2)都不成立, 反例: A={1,2},B={2,3},C={1,2},D={2,3}(A∪B)×(C∪D)={1,2,3}×{1,2,3}⊃(A×C)∪(B×D)(A-B)×(C-D)={1}×{1}⊂(A×C) - (B×D)7.4. 略7.5. 设A, B 为任意集合, 证明若A×A=B×B, 则A=B.∀x,x∈A⇔〈x,x〉∈A×A⇔〈x,x〉∈B×B⇔x∈BA=B7.6. 列出从集合A={1, 2}到B={1}的所有的二元关系.R1=∅ ,R2={〈1,1〉},R2={〈2,1〉},R3={〈1,1〉,〈2,1〉}.7.7. 列出集合A={2, 3, 4}上的恒等关系I A, 全域关系E A, 小于或等于关系L A, 整除关系D A.I A={〈2,2〉,〈3,3〉,〈4,4〉}E A=A×A={〈2,2〉,〈2,3〉,〈2,4〉,〈3,2〉,〈3,3〉,〈3,4〉,〈4,2〉,〈4,3〉,〈4,4〉}L A={〈2,2〉,〈2,3〉,〈2,4〉,〈3,3〉,〈3,4〉,〈4,4〉}D A={〈2,2〉,〈2,4〉,〈3,3〉,〈4,4〉}7.8. 列出集合A={∅, {∅}, {∅, {∅}}, {∅, {∅}, {∅, {∅}}}}上的包含关系.R⊆={〈∅,∅〉,〈∅,{∅}〉,〈∅,{∅,{∅}}〉,〈∅,{∅,{∅},{∅,{∅}}}〉,〈{∅},{∅}〉,〈{∅},{∅,{∅}}〉,〈{∅},{∅,{∅},〈∅,{ ∅}〉}〉,〈{∅,{∅}}, {∅,{∅}}〉,〈{∅,{∅}},{∅,{∅},{∅,{∅}}}〉, 〈{∅,{∅},{∅,{∅}}},{∅,{∅},{∅,{∅}}}〉}7.9. 设A={1, 2, 4, 6}, 列出下列关系R:(1) R={〈x, y〉|x, y∈A∧x+y≠2}(2) R={〈x, y〉|x, y∈A∧|x-y|=1}(3) R={〈x, y〉|x, y∈A∧x/y∈A}(4) R={〈x, y〉|x, y∈A∧y 为素数}(1)R={〈1,2〉,〈1,4〉,〈1,6〉,〈2,1〉,〈2,2〉,〈2,4〉,〈2,6〉,〈4,1〉,〈4,2〉,〈4,4〉,〈4,6〉,〈6,1〉,〈6,2〉,〈6,4〉,〈6,6〉}=E A-{〈1,1〉}(2)R={〈1,2〉,〈2,1〉}(3)R={〈1,1〉,〈2,2〉,〈4,4〉,〈6,6〉,〈2,1〉,〈4,2〉,〈4,1〉}(4)R={〈1,2〉,〈2,2〉,〈4,2〉,〈6,2〉}7.10.略7.11.R i 是X 上的二元关系, 对于x∈X 定义集合R i(x)={y|xR i y}.显然Ri(x) ⊆X. 如果X={-4, -3, -2, -1, 0, 1, 2, 3, 4}, 且令R1={〈x, y〉|x, y∈X∧x<y}R2={〈x,y〉|x, y∈X∧y-1<x<y+2}R3={〈x,y〉|x, y∈X∧x2≤y}求R1(0), R1(1), R2(0), R2(-1), R3(3).R1(0)={1,2,3,4}R1(1)={2,3,4}R2(0)={ -1,0}R2(-1)={ -2, -1}R3(3)= ∅7.12.设A={0, 1, 2, 3}, R 是A 上的关系, 且R={〈0, 0〉, 〈0, 3〉, 〈2, 0〉, 〈2, 1〉, 〈2, 3〉, 〈3, 2〉}给出R 的关系矩阵和关系图.7.13.设A = {〈1, 2〉, 〈2, 4〉, 〈3, 3〉}B = {〈1, 3〉, 〈2, 4〉, 〈4, 2〉}求A∪B, A∩B, dom A, dom(A∪B), ran A, ran B, ran(A∩B), fld(A-B).A∪B={〈1,2〉, 〈1,3〉, 〈2,4〉, 〈3,3〉, 〈4,2〉}A∩B={〈2,4〉}dom A={1,2,3}dom(A∪B)={1,2,3,4}r an A={2,3,4}r an B={3,4,2}r an(A∩B)={4}fld(A-B)={1,2,3}7.14.设R={〈0,1〉,〈0,2〉,〈0,3〉,〈1,2〉,〈1,3〉,〈2,3〉}求R○R,R-1 ,R†{0,1},R[{1,2}].R○R={〈0,2〉, 〈0,3〉, 〈1,3〉}R-1={〈1,0〉,〈2,0〉,〈3,0〉,〈2,1〉,〈3,1〉,〈3,2〉}R†{0,1}={〈0,1〉, 〈0,2〉, 〈0,3〉, 〈1,2〉, 〈1,3〉}R[{1,2}]={2,3}7.15.设A={〈∅,{∅,{∅}}〉,〈{∅},∅〉}求A-1,A2,A3,A†{∅},A[∅],A†∅,A†{{∅}},A[{{∅}}].A-1={〈{∅,{∅}},∅〉,〈∅,{∅}〉},A2={〈{∅},{∅,{∅}}〉},A3=∅,A†{∅}={〈∅,{∅,{∅}}〉},A[∅]={∅,{∅}},1 2A †∅=∅,A †{{∅}}={〈{∅},∅〉}, A [{{∅}}]=∅7.16.设 A ={a ,b ,c ,d }, R 1,R 2 为 A 上的关系, 其中R 1={〈a ,a 〉,〈a ,b 〉,〈b ,d 〉} R 2={〈a ,d 〉,〈b ,c 〉,〈b ,d 〉,〈c ,b 〉} 2 3求 R 1○R 2, R 2○R 1,R 1 ,R 2 .R 1○R 2={〈a ,a 〉,〈a ,c 〉,〈a ,d 〉}, R 2○R 1={〈c ,d 〉}, R 2={〈a ,a 〉,〈a ,b 〉,〈a ,d 〉}, R 3={〈b ,c 〉,〈b ,d 〉,〈c ,b 〉}237.17.设 A ={a ,b ,c }, 试给出 A 上两个不同的关系 R 1 和 R 2,使得 R 1 =R 1, R 2 =R 2.R 1={〈a ,a 〉,〈b ,b 〉}, R 2={〈b ,c 〉,〈c ,b 〉}7.18.证明定理 7.4 的(1), (2), (4).(1) F ○ (G ∪H )=F ○G ∪F ○H任取〈x ,y 〉,〈x ,y 〉∈F ○ (G ∪H )⇔∃t (〈x ,t 〉∈F ∧〈t ,y 〉∈G ∪H )⇔∃t (〈x ,t 〉∈F ∧ (〈t ,y 〉∈G ∨〈t ,y 〉∈H ))⇔∃t ((〈x ,t 〉∈F ∧〈t ,y 〉∈G ) ∨ (〈x ,t 〉∈F ∧〈t ,y 〉∈H )) ⇔∃t (〈x ,t 〉∈F ∧〈t ,y 〉∈G ) ∨∃t (〈x ,t 〉∈F ∧〈t ,y 〉∈H )) ⇔〈x ,y 〉∈F ○G ∨〈x ,y 〉∈F ○H ⇔〈x ,y 〉∈F ○G ∩F ○H 所以有 F ○ (G ∩H )⊆ F ○G ∩F ○H .(2) (G ∪H ) ○F =G ○F ∪H ○F 任取〈x ,y 〉,〈x ,y 〉∈(G ∪H ) ○F⇔∃t (〈x ,t 〉∈(G ∪H ) ∧〈t ,y 〉∈F )⇔∃t ((〈x ,t 〉∈G ∨〈t ,y 〉∈H ) ∧〈t ,y 〉∈F ))⇔∃t ((〈x ,t 〉∈G ∧〈t ,y 〉∈F ) ∨ (〈x ,t 〉∈H ∧〈t ,y 〉∈F )) ⇔∃t (〈x ,t 〉∈G ∧〈t ,y 〉∈F ) ∨∃t (〈x ,t 〉∈H ∧〈t ,y 〉∈F )) ⇔〈x ,y 〉∈G ○F ∨〈x ,y 〉∈H ○F ⇔〈x ,y 〉∈G ○F ∪H ○F(4) (G ∩H ) ○F ⊆G ○F ∩H ○F 任取〈x ,y 〉,〈x ,y 〉∈(G ∩H ) ○F⇔∃t (〈x ,t 〉∈(G ∩H ) ∧〈t ,y 〉∈F )⇔∃t ((〈x ,t 〉∈G ∧〈t ,y 〉∈H ) ∧〈t ,y 〉∈F ))⇔∃t ((〈x ,t 〉∈G ∧〈t ,y 〉∈F ) ∧ (〈x ,t 〉∈H ∧〈t ,y 〉∈F )) ⇒∃t (〈x ,t 〉∈G ∧〈t ,y 〉∈F ) ∧∃t (〈x ,t 〉∈H ∧〈t ,y 〉∈F )) ⇔〈x ,y 〉∈G ○F ∨〈x ,y 〉∈H ○F ⇔〈x ,y 〉∈G ○F ∪H ○F7.19.证明定理 7.5 的(2), (3).(2) F [A ∪B ]=F [A ]∪F [B ]任取 y ,。
复合函数求极限运算定理
复合函数求极限运算定理
复合函数求极限运算定理是指，在一定条件下，复合函数的极限等于它所组成的两个函数的极限的乘积。
具体表达式如下：设函数f(x)在x0点的一个去心邻域内有定义，g(x)在y0点的一个去心邻域内有定义，且f(x)在x0处的极限为y0，即lim f(x) = y0(x→x0)；g(x)在y0处的极限存在，即lim g(x) = L(x→y0)。
则当x趋于x0时，有：
lim g[f(x)] = L ，其中y0≠±∞
x→x0
若y0=±∞，则当x趋于x0时，有：
lim g[f(x)] = L 或lim g[f(x)] = -L
x→x0 x→x0
其中，L为有限实数或正无穷大、负无穷大。
这里g[f(x)]表示的是复合函数。
在符合定理条件的前提下，可以利用此定理来计算复合函数的极限，简化极限的求解过程。
- 1 -。
第十四章 拉普拉斯变换
F e jt d
F f t e jt dt
成立条件： 1
记为：
F F f t
f t F 1 f t
f(t)满足狄里克利条件
2 f(t)在( -∞,+∞)上绝对可积 4、付氏变换的物理意义： （1）把 f(t)看成无穷多个0~∞频率、振幅为无穷小的正弦波的 合成。F(ω )是频谱密度，也是单位频率所贡献的振幅。 （2）非周期函数 f(t)可表示成 -∞~+∞ 频率的指数函数的连续 和。
2、拉普拉氏变换
G (t ) (t )e t e jt dt
式中 S= δ +jω
0
f (t )e ( j )t dt f (t )e st dt
0
——称为复频率算子；
f(t)= ψ (t)· ε (t) ——实际上还是ψ (t)。
n 1,2,3
上式可合成为:
1 T cn 2T fT t e jn0t dt T 2
f T t
n jn0t c e n
n 0, 1 ,2, 3
1.2
故1.1可写为:
付氏级数的物理意义：用正弦函数的叠加来等效任意的 非正弦周期函数。 3、傅氏变换 当周期函数fT(t)在所讨论的区间上满足狄里克利条件, fT(t)可 展开为付氏级数： T 1 jn0t 2 jn0t c f t e dt f T t cn e 其中： n T T T 2 n 定义：令nω 0 =ω ， 则定义周期函数fT(t)的傅里叶变换为：
贵州省遵义市2025届数学高三上期末统考试题含解析
贵州省遵义市2025届数学高三上期末统考试题注意事项:1．答题前，考生先将自己的姓名、准考证号码填写清楚，将条形码准确粘贴在条形码区域内。
2．答题时请按要求用笔。
3．请按照题号顺序在答题卡各题目的答题区域内作答，超出答题区域书写的答案无效；在草稿纸、试卷上答题无效。
4．作图可先使用铅笔画出，确定后必须用黑色字迹的签字笔描黑。
5．保持卡面清洁，不要折暴、不要弄破、弄皱，不准使用涂改液、修正带、刮纸刀。
一、选择题：本题共12小题，每小题5分，共60分。
在每小题给出的四个选项中，只有一项是符合题目要求的。
1．已知复数z 满足(1)43z i i +=-，其中i 是虚数单位，则复数z 在复平面中对应的点到原点的距离为（ ）A ．52B ．522C ．52D ．542．函数()()sin ωϕ=+f x x 的部分图象如图所示，则()f x 的单调递增区间为（ ）A ．51,,44k k k Z ππ⎡⎤-+-+⎢⎥⎦∈⎣B ．512,2,44k k k Z ππ⎡⎤-+-+∈⎢⎥⎣⎦C ．51,,44k k k Z ⎡⎤-+-+∈⎢⎥⎣⎦D ．512,2,44k k k Z ⎡⎤-+-+∈⎢⎥⎣⎦3．已知数列满足：.若正整数使得成立，则( ) A ．16B ．17C ．18D ．194．已知()y f x =是定义在R 上的奇函数，且当0x >时，2()3f x x x=+-．若0x ≤，则()0f x ≤的解集是（ ） A ．[2,1]--B ．(,2][1,0]-∞-⋃-C ．(,2][1,0)-∞-⋃-D ．(,2)(1,0]-∞-⋃-5．()()()()()*121311x x x nx n N +++⋅⋅⋅+∈的展开式中x 的一次项系数为（ ）A ．3CB ．2CC ．1n C -D ．31C6．函数||1()e sin 28x f x x =的部分图象大致是（ ） A ． B ．C ．D ．7．如图，某几何体的三视图是由三个边长为2的正方形和其内部的一些虚线构成的，则该几何体的体积为( )A ．23B ．163C ．6D ．与点O 的位置有关8．已知函数()(),12,1x e x f x f x x ⎧≤⎪=⎨->⎪⎩，若方程()10f x mx --=恰有两个不同实根，则正数m 的取值范围为（ ）A ．()1,11,12e e -⎛⎫-⎪⎝⎭B ．(]1,11,12e e -⎛⎫- ⎪⎝⎭C ．()1,11,13e e -⎛⎫-⎪⎝⎭D ．(]1,11,13e e -⎛⎫-⎪⎝⎭9．3本不同的语文书，2本不同的数学书，从中任意取出2本，取出的书恰好都是数学书的概率是（ ） A ．12B ．14C ．15D ．11010．已知函数()()2,211,22xa x x f x x ⎧-≥⎪=⎨⎛⎫-<⎪ ⎪⎝⎭⎩，满足对任意的实数12x x ≠，都有()()12120f x f x x x -<-成立，则实数a 的取值范围为（ ） A ．()1,+∞B ．13,8⎛⎤-∞ ⎥⎝⎦C ．13,8⎛⎫-∞ ⎪⎝⎭D ．13,8⎛⎫+∞⎪⎝⎭11．已知||23z z i =-（i 为虚数单位，z 为z 的共轭复数），则复数z 在复平面内对应的点在（ ）. A ．第一象限B ．第二象限C ．第三象限D ．第四象限12．现有甲、乙、丙、丁4名学生平均分成两个志愿者小组到校外参加两项活动,则乙、丙两人恰好参加同一项活动的概率为 A ．12B ．13C ．16D ．112二、填空题：本题共4小题，每小题5分，共20分。