逆定理

（计算机概念）

逆定理是将某一定理的条件和结论互换所得的定理就是原来定理的逆定理。(如果一个定理的逆命题能被证明为真命题，那么它叫做原定理的逆定理。此时，这两个定理叫互逆定理。)将某一定理的条件和结论互换所得的定理就是原来定理的逆定理。(如果一个定理的逆命题能被证明为真命题，那么它叫做原定理的逆定理。此时，这两个定理叫互逆定理。)