変数へんすう を 含ふくみ、 変数へんすうに値あたいを入いれる と 真偽しんぎ が 決きまる 文ぶん。 p(x):x>0p(x): x > 0p(x):x>0 など。
条件じょうけんとは、変数へんすう(xxx など)を含ふくみ、変数へんすうに具体ぐたい的てきな値あたいを入いれると真偽しんぎが決きまる文ぶんや式しきのことです。
命題めいだいはそれ自体じたいで真偽しんぎが決きまりますが、条件じょうけんは変数へんすうの値あたいが決きまってはじめて真偽しんぎが決きまります。条件じょうけんは「ppp ならば qqq」という形かたち(命題めいだい)を作つくるときの部品ぶひんになります。
ポイント 条件じょうけんppp を満みたす値あたいの集合しゅうごうを考かんがえると、「p⇒qp \Rightarrow qp⇒q」は集合しゅうごうの包含ほうがん関係かんけい(部分集合ぶぶんしゅうごう)として図ずでとらえられる。これが必要条件ひつようじょうけん・十分条件じゅうぶんじょうけんの判定はんていに直結ちょっけつする。