必要条件と十分条件

「PのときのみQ」と「PでないならばQでない」は論理的に同値である。

必要条件の表現と対偶は同じ論理構造を持つ。