词条 | 逆否命题 |
释义 | § 命题 可以判断真假的语句叫做命题。 原命题为:a-->b 逆命题为:b-->a 否命题为:非a-->非b 逆否命题为:非b-->非a § 互为逆否命题 一个命题为原命题,则和它互为逆否命题的命题为原命题的逆否命题。 逻辑学认为命题与逆否命题是等价的,也就是命题真,则逆否命题也真。命题同它的逆否命题等价是作为公理存在的,你即不能证明它正确也不能证明它错误。 |
随便看 |
百科全书收录594082条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。