逆否命题是逻辑和数学的一种结构变换推理，一般用于在逻辑等价的前提下改变条件命题的结构。逆否命题也用于对位证明法。逆否定将前件与后件否命题和逆命题。
中线定理，又称阿波罗尼奥斯定理，是欧氏几何的定理，表述三角形两边和中线长度关系。它逻辑等价于平行四边形恒等式。
在数学中，平行四边形恒等式是描述平行四边形的几何特性的一个恒等式。它逻辑等价于三角形的中线定理。在一般的赋范空间内积空间中，也有类似的结果。这个等式的最简单的情形是在普通的平面上：一个平行四边形的两条对角线长度的平方和，等于它四边长度的平方和。假设这个平行四边形是写作
A
B
C
D
{\displaystyle ABCD}
的话，那么平行四边形恒等式就可以写成：
在数学中，平行四边形恒等式是描述平行四边形的几何特性的一个恒等式。它逻辑等价于三角形的中线定理。在一般的赋范空间内积空间中，也有类似的结果。这个等式的最简单的情形是在普通的平面上：一个平行四边形的两条对角线长度的平方和，等于它四边长度的平方和。假设这个平行四边形是写作
A
B
C
D
{\displaystyle ABCD}
的话，那么平行四边形恒等式就可以写成：
在数学中，平行四边形恒等式是描述平行四边形的几何特性的一个恒等式。它逻辑等价于三角形的中线定理。在一般的赋范空间内积空间中，也有类似的结果。这个等式的最简单的情形是在普通的平面上：一个平行四边形的两条对角线长度的平方和，等于它四边长度的平方和。假设这个平行四边形是写作
A
B
C
D
{\displaystyle ABCD}
的话，那么平行四边形恒等式就可以写成：
在谓词演算中，如果一个公示可以被写为量词在前，随后是被称为母体的无量词部分，则称其为前束范式的，所有经典逻辑公式都逻辑等价于某个前束范式公式。
中线定理，又称阿波罗尼奥斯定理，是欧氏几何的定理，表述三角形两边和中线长度关系。它逻辑等价于平行四边形恒等式。
Mini wiki
