1、如果既有p q,又有q p,就記作 p q。
2、這時,p既是q的充分條件,又是q的必要條件,我們就説p是q的充分必要條件,簡稱充要條件。
3、例如,命題p:x+2是無理數, 命題q:x是無理數. 由於“x+2是無理數” “x是無理數”,所以p是q的充要條件。