ひつようじょうけん【必要条件】ヒツエウデウケン[5] 〔数学・論理学で〕その条件が成立しているならば 必然的に成立しているはずの他の条件の、元の条件に対する称。「PならばQ」が真の時、QはPであるための必要条件。例、「aとbは共に正である」という命題をPとし、「aとbの積は正である」という命題をQとした場合。〔日常的な用法では、それが△事実であると判断する（成り立つ）上で必要な「条件(一)」を指す〕

ひつようじょうけん【必要条件】ヒツエウデウケン[5] 条件