The Sankei Shimbun | http://www.oanda.com/converter/classic | ||
日経goo | |||
NIKKEI NET -天気- | |||
Inside China Today -
ネットで百科@Homeのご案内
ネットで百科@Homeのご案内
条件 じょうけん condition
論理学の用語。 一般に〈……であれば (ならば) ……である〉という表現に対応する事態で,
〈……であれば (ならば) ……〉の前の表現に当たるもの
が条件, 仮定であり,その後の表現に相当するものがこの条件下に成立することがらであるが,
〈ならば〉で結ばれる表現全体を条件 (命題または文)
ということもある。 条件なるものの性格は必ずしも明確でないが,
大きくは論理的なそれと非論理的なそれとに類別できよう。 論理的条件の中心は現
代論理の中核にある標準論理の条件で, いま任意の 2 命題をp,qとすると,p→qあるいはp⊃q等で表現され,
その全体を条件 (式),→ (または⊃) を
条件詞 (または条件記号), pをqの前件,qをpの後件という。 また,pをqの十分条件,qをpの必要条件というが,
必要条件という命名の理由は,p,qの
それぞれを否定にして順をかえた〈qでないならばpでない〉は〈pならばq〉のいわゆる〈対偶〉で,
両者は互いに等しく,したがって,〈pならばq〉とは〈qが
成り立たなければpも成り立たない〉に等しい点にある。 標準論理の条件は別名〈実質含意〉ともよばれ,
標準論理の他の命題結合詞と同様に, p,q
のそれぞれの真偽の値によって定義され, pが真,qが偽のときのみ全体が偽で,
他の場合 (pもqも真,pが偽でqが真か偽) にはすべて真とされる。 以
上の実質含意に対して,真偽 2 値以上の値を認める多値論理や, 命題に必然性,可能性等の〈様相〉の添加を行う様相論理の条件が考えられるが,
とくに後者の場合,〈pならば必然的にqである〉という条件を〈厳密 (または強)
含意〉という。 以上のほかに,その性格が必ずしも明らかでない, 反事実
的条件も重要な日常の条件の一種である。 さらに,因果関係も広義の条件に含まれ,
扱い方では論理的条件に転化されるが, 因果的条件の本質は
論理では尽くされない, それ独自の非還元的性格を持つという見方が有力である。
⇒必要十分条件
杖下 隆英
必要十分条件 ひつようじゅうぶんじょうけん necessary and sufficient
condition
二つの条件p,qについて,〈pならばq〉が真であるとき, pはqの十分条件であるといい,また,
qはpの必要条件であるという。 例えば,△ ABC につい
て,〈それが正三角形である〉ことをpとし, 〈それが二等辺三角形である〉ことをqとすれば,
その例になる。 pがqの必要条件であり,かつ十分条件であ
るとき, すなわち,pとqとが同値であるとき, pはqの必要十分条件であるという。
例えば,△ ABC において,〈∠ ABC =∠ BCA = 60ツ?〉は〈△ ABC
が正三角形である〉ための必要十分条件である。
条件pが条件qの十分条件,すなわち, 条件qが条件pの必要条件であることは,
〈pならばq〉が真であることであるから, その対偶〈qでないならばpで
ない〉が真である。 したがって,条件〈pでない〉は条件〈qでない〉の必要条件になり,
〈qでない〉が〈pでない〉の十分条件になる。 ⇒条件
永田 雅宜
Hotel
Guide Taiwan
Central Europe Online
Home Page
Russia Today
Inside China Today -
1998
AN OUTLINE OF INTERIOR AFFAIRS REPUBLIC OF CHINA
Guide to Exhibitions
BuddhaNet: Buddhist Information
Network - Gateway to Buddhism.
About.com
- Society/Culture
http://www.iy2kcc.org/