数学概念的划分和命题.ppt

第16页,共35页，星期六，2024年，5月按判断本身是否还包含有其他判断可分为简单判断和复合判断。简单判断是不包含有其他判断的判断，复合判断是包含有至少一个其他判断的判断。如下列的判断分别是相应的简单判断和复合判断。第17页,共35页，星期六，2024年，5月(1)所有的自然数不是无理数。(简单判断、性质判断)(2)2小于3。(简单判断、关系判断)(3)如果两个角是对顶角，那么这两个角相等。(复合判断、充分条件假言判断)(4)一个自然数只有能被3整除，才能被9整除。(复合判断、必要条件假言判断)(5)当且仅当两直线的斜率相等时，这两直线才平行。(复合判断、充分必要条件假言判断)(6)平面上的两直线若不平行，则互相垂直或互相不垂直。(复合判断、选言判断)第18页,共35页，星期六，2024年，5月(7)3既是整数又是实数。(复合判断、联言判断)(8)并非所有实数都是有理数。(复合判断、负判断)第19页,共35页，星期六，2024年，5月数学命题1．数学命题的意义3＞2，(a+b)2=a2+2ab+b2，△ABC≌△A’B’C’判断有真假之分，命题也相应地有真假之分。用A、B、C或者p、q、r表示任意的命题，当p是真命题时，记作“p=1”，p是假命题时，记作“p=0”。1和0称为命题的真值。第20页,共35页，星期六，2024年，5月2．命题的基本运算命题的基本运算有否定(非)、合取(与)、析取(或)、蕴涵(若……则……)、等价(当且仅当)等。(1)否定。(2)合取(3)析取。(4)蕴涵。(5)等价。第21页,共35页，星期六，2024年，5月非、与、或、若……则……、当且仅当统称为逻辑联结词。在一个命题中若没有逻辑联结词出现，则该命题称为简单命题，否则叫做复合命题。以p、q分别表示简单命题，以上五个联结词结合简单命题形成如下五类复合命题。第22页,共35页，星期六，2024年，5月负命题联言命题选言命题充分条件假言命题充分必要条件假言命题第23页,共35页，星期六，2024年，5月第24页,共35页，星期六，2024年，5月3．命题运算律(1)复合命题的真值。一个复合命题的真值取决于构成它的各个命题的值，可以利用真值表来计算。(2)命题运算中常用的定律。第25页,共35页，星期六，2024年，5月数学命题的四种形式及其关系在数学中，为了全面地研究命题中条件和结论的逻辑联系，往往把一个命题的条件和结论换位，或者把条件和结论变为它们的否定，就可以得到三个新的命题。互逆关系。互否关系。互逆否关系。第26页,共35页，星期六，2024年，5月第27页,共35页，星期六，2024年，5月例1原命题：若一个四边形是平行四边形，则它的对角线互相垂直。(假)逆命题：若一个四边形的对角线互相垂直，则它是平行四边形。(假)否命题：若一个四边形不是平行四边形，则它的对角线不互相垂直。(假)逆否命题：若一个四边形的对角线不互相垂直，则它不是平行四边形。(假)第28页,共35页，星期六，2024年，5月例2原命题：在△ABC中，若AB＞AC，则∠C＞∠B。(真)逆命题：在△ABC中，若∠C＞∠B，则AB＞AC。(真)否命题：在△ABC中，若AB≯AC，则∠C≯∠B。(真)逆否命题：在△ABC中，若∠C≯∠B，则AB≯AC。(真)第29页,共35页，星期六，2024年，5月例3原命题：若两个角是对顶角，则这两个角相等。(真)逆命题：若两个角相等，则这两个角是对顶角。(假)否命题：若两个角不是对顶角，则这两个角不相等。(假)逆否命题：若两个角不相等，则这两个角不是对顶角。(真)第30页,共35页，星期六，2024年，5月第31页,共35页，星期六，2024年，5月第32页,共35页，星期六，2024年，5月第33页,共35页，星期六，2024年，5月第34页,共35页，星期六，2024年，5月第35页,共35页，星期六，2024年，5月数学概念的划分概念的内涵借助于定义来揭示，那么概念的外延借助于哪种方法来揭示呢？前面讲述的概念间的关系是揭示外延的一种方法，此外还有借助于概念的划分来揭示概念外延的方法。第2页,共35页，星期六，2024年，5月概念的划分是把一个属概念，按一定标准分为若干个不相容的种概念的逻辑方法。划分是一种科学的分类，与通常将某一事物分成若干种情况