命題「A ⇒ B」が真である時 A を B である為の十分条件 sufficient
condition と言い、B を A であるための必要条件 necessary condition と言う。
ある命題 A が成り立つようなものの範囲を真理集合 truth set というが、
A ⇒ B が真である場合の A, B の真理集合の関係は A ⊆ B となってい
る(Venn 図で描くと下の図の通り)。
つまり、B の範囲に入る為には A であれば十分であり、A の範囲に入る為には
B であることが先ず必要だからというのが、その名の由来であるという。
URL: http://phaos.hp.infoseek.co.jp/preparations/condition.htm