掌握命题四种形式之间的逻辑关系
(2022-08-02 17:21:58)为了研究数学命题的条件和结论的逻辑联系,常把一个命题的条件和结论换位,或变为它们的否定形式,这样就可以得到命题的四种形式,即原命题、逆命题、否命题和逆否命题。对互为逆否的两个命题,它们具有同真同假的性质,此特性称为逆否命题的等效原理。因此,原命题与逆否命题、逆命题和否命题具有同真同假的关系。在数学学习中,为了考察一个数学命题的真实性,可以转换为考察它的逆否命题的真实性。比如在某节课上,任课教师引导学生学习了对称图形的性质,即“如果两个点是对称图形的对称点,那么这两个点到对称轴的距离相等。”但在课堂练习环节,在判断哪些点为对称点时,学生认为“因为M和N到对称轴的距离相等,所以M和N是对称点”,教师进行了肯定,之后学生都据此进行判断。这里师生所犯的错误,即是利用了性质命题的逆命题进行判断,但在这里原命题与逆命题并不等价。
前一篇:数学证明的逻辑知识