换言之,α⇒β表示以α为条件,β为结论的命题是真命题。
3、α与β等价: 如果α⇒β,β⇒α,那么记作,叫做α与β等价 4、传递性:α⇒β,β⇒γ,则α⇒γ 5.四种命题的形式及其之间的关系: 原命题:
逆命题:
否命题:
逆否命题: 并在四种命题之间的相互关系如下: 6.等价命题:如果,是两个命题,,那么,叫做等价命题。
(1)①一个命题的否命题为真,它的逆命题一定为真.否命题逆命题. ②一个命题为真,则它的逆否命题一定为真.原命题逆否命题. 例:①若,则应是真命题. 解:逆否:a=2且b=3,则a+b=5,成立,所以此命题为真. 内容来自网友回答
逻辑学中的AEIO四种命题分别代表哪一类命题?互相又有什么关系呢