コトバンクはYahoo!辞書と技術提携しています。

対偶 たいぐう contraposition

翻訳|contraposition

5件 の用語解説(対偶の意味・用語解説を検索)

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

対偶
たいぐう
contraposition

形式論理学の用語。ある命題について,その帰結部分の否定を前提とし,前提部分の否定を帰結とした命題をもとの命題に対して対偶の関係にあるという。たとえば,「すべてのギリシア人が白いならば,ソクラテスは白い」を原命題とすれば,その対偶命題は「ソクラテスが白くないならば,すべてのギリシア人が白くあるのではない」となる。

本文は出典元の記述の一部を掲載しています。

対偶
たいぐう
pair

番 (つがい) ともいう。2つの機素 (機械を構成する個々の部品) が相接して相対的な運動をする場合,互いに対偶をなしているといい,面で接触しているときを面対偶,点または線で接触しているときをそれぞれ点対偶,線対偶と呼ぶ。

本文は出典元の記述の一部を掲載しています。

出典|ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

デジタル大辞泉の解説

たい‐ぐう【対偶】

二つで組みになっているもの。対(つい)。
「この線は、鬢(びん)の下端の線などと目立った―をしている」〈寅彦浮世絵の曲線〉
対句(ついく)。
論理学で、「pならばqである」に対して、仮定および結論を否定し同時に両者を逆にした「qでなければpでない」という形の命題。原命題が真ならば、その対偶も必ず真となる。→

出典|小学館 この辞書の凡例を見る
監修:松村明
編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力:曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

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

たいぐう【対偶 contraposition】

論理学の用語。伝統的論理学では,命題pに対してまず換質を次に換位を施して命題qが得られるとき,qpの対偶と呼ぶ。例えば,p:〈すべてのSPである〉の対偶は,q:〈いかなる非‐PSでない〉である。現代論理学では,A,Bを論理式とし,⊃は〈もし……ならば……〉,~は〈……でない〉を表す記号とするとき,式ABに対して,式~BBAを対偶と呼び,〈ABと~B⊃~Aの真偽は一致する〉を対偶の法則law of contrapositionと呼ぶ。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

大辞林 第三版の解説

たいぐう【対偶】

( 名 ) スル
ついになっていること。対称をなすこと。 「此雲の変幻出没と彼水の寂静不動と-す/日本風景論 重昂
修辞上、対比的な語句を対称して配置すること。漢詩文などで多用される。対句。
〘数・論〙 〔contraposition〕 一つの命題「 p ならば q である」に対して、その後件の否定を前件とし、前件の否定を後件とする命題「 q でなければ p でない」をいう。ある命題が真ならば、その対偶も必ず真である。 →

出典|三省堂
(C) Sanseido Co.,Ltd. 編者:松村明 編 発行者:株式会社 三省堂 ※ 書籍版『大辞林第三版』の図表・付録は収録させておりません。 ※ それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

世界大百科事典内の対偶の言及

【逆】より

…もとの命題が正しくても,逆は正しいとは限らない(x2>4ならば,x>2またはx<-2が正しい命題)。また,もとの命題および逆のA,Bを,A,Bの否定におきかえたもの〈AでないならばBでない〉〈BでないならばAでない〉(前の例なら,〈実数xについて,x≦2ならばx2≦4〉および〈実数xについて,x2≦4ならばx≦2〉)を,それぞれもとの命題の裏obverse,対偶contrapositionという。もとの命題が正しければ対偶も正しく,対偶の対偶はもとの命題であるから,ある命題とその対偶とは同値であり,ある命題を証明するのに対偶を証明してもよい。…

【逆】より

…もとの命題が正しくても,逆は正しいとは限らない(x2>4ならば,x>2またはx<-2が正しい命題)。また,もとの命題および逆のA,Bを,A,Bの否定におきかえたもの〈AでないならばBでない〉〈BでないならばAでない〉(前の例なら,〈実数xについて,x≦2ならばx2≦4〉および〈実数xについて,x2≦4ならばx≦2〉)を,それぞれもとの命題の裏obverse,対偶contrapositionという。もとの命題が正しければ対偶も正しく,対偶の対偶はもとの命題であるから,ある命題とその対偶とは同値であり,ある命題を証明するのに対偶を証明してもよい。…

【条件】より

…論理的条件の中心は現代論理の中核にある標準論理の条件で,いま任意の2命題をp,qとすると,pqあるいはpq等で表現され,その全体を条件(式),→(または⊃)を条件詞(または条件記号),pqの前件,qpの後件という。また,pqの十分条件,qpの必要条件というが,必要条件という命名の理由は,p,qのそれぞれを否定にして順をかえた〈qでないならばpでない〉は〈pならばq〉のいわゆる〈対偶〉で,両者は互いに等しく,したがって,〈pならばq〉とは〈qが成り立たなければpも成り立たない〉に等しい点にある。標準論理の条件は別名〈実質含意〉ともよばれ,標準論理の他の命題結合詞と同様に,p,qのそれぞれの真偽の値によって定義され,pが真,qが偽のときのみ全体が偽で,他の場合(pqも真,pが偽でqが真か偽)にはすべて真とされる。…

【対句】より

…中国の詩文における修辞上の技法の一つ。中国語では一般に〈対偶〉という名称のほうが用いられる。並列された同字数の2句が,語法上からも,意味上からもシンメトリックに対応しあうように構成された表現形式をいう。…

※「対偶」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

対偶の関連キーワード形式論理学真理値数学的論理学対当伝統的論理学命題論理学数理論理学二値論理学弁証法的論理学命題論理

今日のキーワード

トランスアジア航空

台湾・台北市に本拠を置く航空会社。中国語名は復興航空。1951年、台湾初の民間航空会社として設立。83年に台湾の国産実業グループに経営移管され、組織改編を実施した。92年に国際チャーター便の運航を始め...

続きを読む

コトバンク for iPhone

対偶の関連情報