A=>B，意思是A是B的充分条件；B=>A，意思是A是B的必要条件；同时成立，A和B等价。
命题成立，则逆否命题也成立，即若A=>B，可以推出~B=>~A。
【 在 x2303612 的大作中提到: 】
: 如题，见图
: - 来自 水木社区APP v3.5.7
--
FROM 61.152.216.52