充分必要条件（英语：sufficient and necessary condition）简称为充要条件。
在逻辑学中：
因此：
P是Q的必要条件，代表“如果P是假，则Q是假”。
以逻辑符号表示：
通过否定后件，得出“如果Q是真，则P是真”。
P是Q的充分条件，代表“如果P是真，则Q是真”或“如果Q是假，则P是假”。
以逻辑符号表示：
P是Q的充分及必要条件，代表“当且仅当P是真，则Q是真”。
以逻辑符号表示：
留意 可以推出 。
可以推出 
。1.若P表“人类生存”，Q表“人类呼吸”
2.若P表“三角形三边长相等”，Q表“三角形三内角相等”
