逻辑上,正命题与逆否命题 同对 同错。用反证法证之。
平面几何第一堂课的证明题:两直线只能相交于一点 当且仅当 两点间只能连接一条直线。
=> 如果 两直线只能相交于一点, 则 两点间只能连接一条直线。
如果两点间能连接多于一条直线,则至少有两条直线通过这两点,即这两条直线能相交于两点。与前提 两直线只能相交于一点 矛盾。
<= 如果两点间只能连接一条直线, 则 两直线只能相交于一点。
如果 两条直线能相交多于一点,则这两条直线都至少通过两点,即这两点间能连接两条直线。与前提 两点间只能连接一条直线 矛盾。