【定理・公式・証明】高校数学定理・公式 – 数学Ⅰ – 必要条件・十分条件・必要十分条件と同値

命題：「 $p$ ならば $q$ である」が真であるとき，

$q$ は $p$ であるための必要条件，

$p$ は $q$ であるための十分条件，

であるという。