“若x+y不=3,则x不=1或y不=3”的逆否命题是

逻辑用语

逆否命题是
若x=1且y=3，则x+y=3

穷举法 分两种可能的情况 【1】x+y>3 又分两种情况 (1)x≠2，证毕 (2)x=2，则有：y>1,证毕 【2】x+y<3 也有两种情况 (1)x≠2，证毕 (2)x=2，则有：y<1,证毕 综上【1】【2】所述： x≠2或y≠1 题外话 原命题与逆否命题 在逻辑上是等价的 即使是最保守的直觉主义逻辑学派 他们不承认大家公认的排中律 但是都无法否定“反证法” 你这是什么意思？ 你不承认反证法？ 这只能是自找麻烦 在逻辑上是没有任何意义的 我上面的证明 “(2)x=2，则有……” 实际上就是反证法 是一个很啰嗦的反证法 因为“顺证”与“反证” 并没有本质的区别 只是描述方式不同 在逻辑上都遵循同一个原理：无矛盾性 这是任何逻辑学派都不能否定的 否则就算不上逻辑了