什麼是等價定義

等價定義：設有兩個命題p和q，如果由p作為條件能使得結論q成立，則稱p是q的充分條件；若由q能使p成立則稱p是q的必要條件；如果p與q能互推（即無論是由q推出p還是p推出q都成立），則稱p是q的充分必要條件，簡稱充要條件，也稱p與q等價。