充分必要条件（）简称为充要条件。在逻辑学中：因此：
必要条件.P是Q的必要条件，代表「如果P是假，则Q是假」。以逻辑符号表示：通过否定后件，得出「如果Q是真，则P是真」。
充分条件.P是Q的充分条件，代表「如果P是真，则Q是真」或「如果Q是假，则P是假」。以逻辑符号表示：
必要条件及充分条件.P是Q的充分及必要条件，代表「若且唯若P是真，则Q是真」。以逻辑符号表示：留意 formula_5 可以推出