可以利用真值排斥来证明。
1,“q”与“非q”异值, 则 2,“p→q”与“p→非q”至多有一真命题; “非q→p”与“非q→非p”至多有一真命题。
3,“非q→p”与“p→q”至多有一真命题; “p→非q”与“非q→非p”至多有一真命题。
因“→”在真命题中有传递性,同真就得出与1矛盾的结论。
4,“p→q”“p→非q”与“非q→p”至少有一真命题; “p→非q”“非q→p”与“非q→非p”至少有一真命题。
由2、3、4得 5,若“p→q”为真,则“非q→非p”也为真; q→非p”也为假。
大概是这么个意思,你可以参考转化为 原命题为真 但是不定 比如说
互逆命题 两个互为逆命题的命题。
在命题的四种形式题与逆否命题是两对互逆命题 内容来自网友回答
数学逻辑联结词和四种命题问题!老师请进已知a,b是实数!若ab>0,则a>0且b...
数学逻辑联结词和四种命题问题!老师请进 已知a,b是实数!若ab>0,则a>0且b>0.求他的另外三种命题!逆:若a>0且b>0则ab>0这是真命题否:若ab≤0则a≤0或b≤0这就出问题了!如果否命题是这样的话,应该是假命题吧!但是否命题和逆命题是等价的啊!