基本信息
文件名称：命题形式及等价关系.pdf
文件大小：245.04 KB
总页数：4 页
更新时间：2025-06-21
总字数：约4.17千字
文档摘要
1.4命题的形式及等价条件
知识点归纳
可以判断真简单语句叫做命题，
命题通常用陈述句表达，因此它必定由条件与结论两部分组成
确定一个命题是真命题，必须做出证明，证明若满足命题条件，就一定能推出命题的结论。
要确定一个命题是假命题，只要能举出一个反例就可以了。
A?B表示以A为条件，B为结论的命题是真命题。
推出关系满足传递性：A?BB,?C，那么A?C。
命题有四种形式：
原命题：如果A，那么B；逆命题：如果B，那么A；
否命题：如果A，那么B；逆否命题：如果B，那么A
如果M，N是两个命题，M?NN,?