在逻辑中，逆命题是一个命题的条件与结论分别是另一个命题的结论与条件时，这两个命题互逆，也就是说其中任一个命题是另一个命题的逆命题。
1
康威十三进制函数，或简称为康威函数，是由英国数学家约翰·何顿·康威构造的一个实函数。康威函数满足强达布性质：它限制在任一非空开区间上的值域都是全体实数。作为推论，康威函数在实数上无处连续，但和连续函数一样也满足介值性。因此，康威函数可用来说明介值定理的逆命题不真，即一个函数有介值定理，并不代表它连续函数。
康威十三进制函数，或简称为康威函数，是由英国数学家约翰·何顿·康威构造的一个实函数。康威函数满足强达布性质：它限制在任一非空开区间上的值域都是全体实数。作为推论，康威函数在实数上无处连续，但和连续函数一样也满足介值性。因此，康威函数可用来说明介值定理的逆命题不真，即一个函数有介值定理，并不代表它连续函数。
逆否命题是逻辑和数学的一种结构变换推理，一般用于在逻辑等价的前提下改变条件命题的结构。逆否命题也用于对位证明法。逆否定将前件与后件否命题和逆命题。
康威十三进制函数，或简称为康威函数，是由英国数学家约翰·何顿·康威构造的一个实函数。康威函数满足强达布性质：它限制在任一非空开区间上的值域都是全体实数。作为推论，康威函数在实数上无处连续，但和连续函数一样也满足介值性。因此，康威函数可用来说明介值定理的逆命题不真，即一个函数有介值定理，并不代表它连续函数。
在数论中，中国猜想是一个被证伪的猜想，即一个整数n是质数，当且仅当
2
n
−
2
{\displaystyle 2^{n}-2}
能被n因数——换句话说，整数n是素数当且仅当
2
n
≡
2
{\displaystyle 2^{n}\equiv 2{\pmod {n}}}
。如果n是素数，那么
2
n
≡
2
{\displaystyle 2^{n}\equiv 2{\pmod {n}}}
成立 ，然而费马小定理的逆命题是错误的，因此整个猜想也是错误的。最小的反例是n=341=11×31。使
2
n
−
2
{\displaystyle 2^{n}-2}
能被n整除的合数n称为费马伪素数。它们是一类特殊的费马伪素数。
康威十三进制函数，或简称为康威函数，是由英国数学家约翰·何顿·康威构造的一个实函数。康威函数满足强达布性质：它限制在任一非空开区间上的值域都是全体实数。作为推论，康威函数在实数上无处连续，但和连续函数一样也满足介值性。因此，康威函数可用来说明介值定理的逆命题不真，即一个函数有介值定理，并不代表它连续函数。
Mini wiki
