James 🇨🇳 #屠龙少年Ω
says to
Happy Web Developer
对的。因为逆否命题与原命题是等价的。