必要十分条件(読み)ひつようじゅうぶんじょうけん(英語表記)necessary and suffıcient condition

  • ひつようじゅうぶんじょうけん ヒツエウジフブンデウケン
  • ひつようじゅうぶんじょうけん〔ヒツエウジフブンデウケン〕
  • 必要十分条件 necessary and sufficient condition

ブリタニカ国際大百科事典 小項目事典の解説

命題Pであれば命題Qも必ず真であるとき,命題Pは命題Qを導くといって P→Q と書き,QをPであるための必要条件 (PであるためにQで「なければならない」) ,PをQであるための十分条件 (QであるためにPで「あればよい」) という。もし P→Q と同時に Q→P も成り立てば,PはQであるための必要条件であり,QはPであるための十分条件である。したがってこの場合には,PはQであるための必要条件であると同時に十分条件でもある。このような場合,PはQであるための必要十分条件であるといい P⇔Q と書く。PがQであるための必要十分条件であれば,QはPであるための必要十分条件である。この場合,PとQは同値であるという。

出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報

デジタル大辞泉の解説

ある事柄が成立するための必要にして十分な条件。命題「AならばB」と命題「BならばA」が同時に成り立つとき、BはA(またはAはB)の必要十分条件という。

出典 小学館デジタル大辞泉について 情報 | 凡例

世界大百科事典 第2版の解説

二つの条件p,qについて,〈pならばq〉が真であるとき,pqの十分条件であるといい,また,qpの必要条件であるという。例えば,△ABCについて,〈それが正三角形である〉ことをpとし,〈それが二等辺三角形である〉ことをqとすれば,その例になる。pqの必要条件であり,かつ十分条件であるとき,すなわち,pqとが同値であるとき,pqの必要十分条件であるという。例えば,△ABCにおいて,〈∠ABC=∠BCA=60゜〉は〈△ABCが正三角形である〉ための必要十分条件である。

出典 株式会社平凡社世界大百科事典 第2版について 情報

日本大百科全書(ニッポニカ)の解説

「pならばqである」という命題が真であるとする。つまり、pが真であるすべての場合について、いつもqが真であるとする。このとき、qのことをpであるための必要条件、また、pのことをqであるための十分条件という。ところで、「pならばqである」が真であっても、かならずしもその逆、「qならばpである」が真とは限らない。つまり、qはpの必要条件であるが、pであるための十分条件とは限らないのである。たとえば、「ある整数が4の倍数ならばその数は偶数である」は真であるが、その逆、「偶数は4の倍数である」はかならずしも真ではない。

 いま、qがpの必要条件であると同時に、逆にpもqの必要条件である場合を考える。するとpとqは互いに他の十分条件にもなっている。このとき、qはpの、またはpはqの必要かつ十分条件、縮めて必要十分条件という。またpとqは同値であるともいう。

 たとえば、一つの四辺形において「平行四辺形である」ことと、「対角線が互いに他を二等分する」こととは、互いに必要かつ十分な条件である。

[古藤 怜]

出典 小学館 日本大百科全書(ニッポニカ)日本大百科全書(ニッポニカ)について 情報 | 凡例

精選版 日本国語大辞典の解説

〘名〙 同等な条件のこと。すなわち、条件P、Qに対し、二つの命題「PならばQである」および「QならばPである」がいずれも真のとき、P、Qを互いに他の必要十分条件という。

出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報

今日のキーワード

ノーブレスオブリージュ

《「ノブレスオブリージュ」とも》身分の高い者はそれに応じて果たさねばならぬ社会的責任と義務があるという、欧米社会における基本的な道徳観。もとはフランスのことわざで「貴族たるもの、身分にふさわしい振る舞...

続きを読む

コトバンク for iPhone

コトバンク for Android

必要十分条件の関連情報