necessary condition

(logic) A statement Q in relation to statement P such that P implies Q.

日本語の意味

必要条件：ある命題Pが成立するために、必ず満たされなければならない条件。つまり、命題Pが真であるならば、必然的にある別の命題Qも真であるという関係を示す。

形式論理において、Pが真であるときは常にQも真でなければならないため、QはPの必要条件である。

意味（1）

(logic) A statement Q in relation to statement P such that P implies Q.

necessary conditions

（ plural ）