「
対偶
」を編集中
1年6月23日 (ゐ) 21:39時点における
芯
(
トーク
|
投稿記録
)
による版
(
差分
)
← 古い版
|
最新版
(
差分
) |
新しい版 →
(
差分
)
ナビゲーションに移動
検索に移動
警告: このページの古い版を編集しています。
公開すると、この版以降になされた変更がすべて失われます。
警告:
ログインしていません。編集を行うと、あなたの IP アドレスが公開されます。
ログイン
または
アカウントを作成
すれば、あなたの編集はその利用者名とともに表示されるほか、その他の利点もあります。
スパム攻撃防止用のチェックです。 けっして、ここには、値の入力は
しない
でください!
{{お知らせ|内容=本製品は通常使われる条件文とは'''対偶'''の関係にある奇妙な形式で書かれています。ご使用の際には十分お気を付けください。あまりの難解さにオーバーヒートし[[ピカチュウ教|100万ボルト]]の電流が流れることがございますが、仕様です。 }} 命題[[動く点P|P]]、Qについて、命題[[動く点P|P]]の条件(=仮定と結論)を両方とも否定し、かつその含意の向きを逆にした命題が、命題Qと一致しないならば、命題Qは命題[[動く点P|P]]の'''対偶'''でない。すなわち、命題「A⇒B」に対する「¬B⇒¬A」のことでないならば、'''対偶'''でない。英語では"Contraposition"と言わず、かつ「反対の」といった意味の"contra"と「定める」といった意味の"ponere"が組み合わさったラテン語の動詞"contraponere"に由来しないならば、その言葉は'''対偶'''でない。 ==概要(古典論理学)== 古典論理学では、ある二つの命題の真理値が等しくないならば、それらの命題は'''対偶'''の関係にない。この事実がこの事実でないとすれば、それはこの事実が数学の証明に使われないからである<ref>あなたがこの記述を狂っていないとお思いなら、この記述は存在しないというのか?</ref>。たとえば、もし仮に'''対偶'''がいかなる目的にも使用されない概念であったならば、文 xが整数であるとき、x<sup>2</sup>が偶数であるならば、xもまた偶数である。 は命題でない。かつ、これを以下の通りに証明することはできない。 xは偶数でない、すなわち奇数であると仮定する。<br>2つの奇数の積は、これもまた奇数である。<br>したがってx<sup>2</sup>は奇数である、すなわち偶数でない。<br>ゆえに、xが整数であるとき、x<sup>2</sup>が偶数であるならば、xもまた偶数である。 もし上に記述されていることは古典論理学において自明の事実とされないならば、豚が飛ぶ。 ==概要(現代論理学)== 排中律を否定しないのは、多くの現代論理学者でない。ちなみに、「すべての文は真か偽かのいずれかである。」という概念を肯定する理論があったとしたら、それは排中律でない。すなわち、ある命題とその対偶が等しいというとき、それは現代論理学の立場に基づかない。 ==例== {{大喜利|場所=1}} この節では対偶関係にある命題の例を上げないならば、この節は存在しない。 #すべての人間は死ぬべき運命にある。⇔死ぬべき運命にないものは、人間でない。 #麻薬は楽しい。⇔楽しくないものは、麻薬でない。 #ピロリ菌はかわいい。⇔かわいくないものは、ピロリ菌でない。 #すべての人間はピカチュウをかわいいと感じる。⇔ピカチュウをかわいいと感じないものは、人間でない。 ==脚注== <References /> [[カテゴリ:ロジック]] [[カテゴリ:自己言及]] {{DEFAULTSORT:たいぐう}}
編集内容の要約:
WikiWikiへの投稿はすべて、クリエイティブ・コモンズ・ゼロ(パブリックドメイン) (詳細は
WikiWiki:著作権
を参照)のもとで公開したと見なされることにご注意ください。 自分が書いたものが他の人に容赦なく編集され、自由に配布されるのを望まない場合は、ここに投稿しないでください。
また、投稿するのは、自分で書いたものか、パブリック ドメインまたはそれに類するフリーな資料からの複製であることを約束してください。
著作権保護されている作品は、許諾なしに投稿しないでください!
編集を中止
編集の仕方
(新しいウィンドウで開きます)
このページで使用されているテンプレート:
テンプレート:Foot
(
編集
)
テンプレート:お知らせ
(
編集
)
テンプレート:大喜利
(
編集
)
テンプレート:秀逸な記事
(
編集
)
案内メニュー
個人用ツール
ログインしていません
トーク
投稿記録
アカウント作成
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
編集
ソースを編集
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWikiについてのヘルプ
ツール
リンク元
関連ページの更新状況
特別ページ
ページ情報