4.我们用符号“>表示“当且仅当” 或“充要条件”这一意思 比如“p分q”表示“p成立当且仅当q成 立”或者说p成立的充要条件是q成立4. 我们用符号“”表示“当且仅当” 比如“ p  q”表示“ p成立当且仅当q成 立” 或者说p成立的充要条件是q成立. 或 “充要条件” 这一意思