「
豚が飛ぶ
」を編集中
ナビゲーションに移動
検索に移動
警告:
ログインしていません。編集を行うと、あなたの IP アドレスが公開されます。
ログイン
または
アカウントを作成
すれば、あなたの編集はその利用者名とともに表示されるほか、その他の利点もあります。
スパム攻撃防止用のチェックです。 けっして、ここには、値の入力は
しない
でください!
{{秀逸な記事|秀逸性=過去}}'''豚が飛ぶ'''(英: Pigs would fly)とは、有り得ない仮定から導き出される結論として使われる言葉である。 ==概要== 条件文<ref>ここでは、仮定と結論を持った文を指す。</ref>において、仮定が有り得ないことを示すために、結論部分で使われる、一種の言葉遊び、またはレトリックである。 例えば、仮定「[[利用者:Notorious]]は gentle である。」について、ある人<ref>あくまでも「ある人」のことを指し、従って[[有無ジェリア|無ジェリア]]人を含まない。</ref>が「[[利用者:Notorious]]は gentle であったならば、豚が飛ぶだろう。」のように言ったとする。このとき、その人は「[[利用者:Notorious]]は gentle であることは有り得ない。」と思っている、ということが分かる。 ==論理的整合性== 仮定が有り得ないときに「豚が飛ぶ」と結論づけることに、整合性はあるのだろうか(=「豚!が!飛!ぶ!」問題)。「豚!が!飛!ぶ!」問題は近年になって指摘され始め、古来より{{矛盾}}論理学者や哲学者、物理学者、数学者、あるいはカルト信者など、<del>現実には役に立たないことを妄想したがる、厄介な</del>人々の頭を悩ませ続けてきた。しかし現在では、それが[[対偶]]論法によって証明されることが知られている。 ある有り得ない仮定{{矛盾}}を記号的に Mn とする。すなわち、命題「Mnならば豚が飛ぶ。」が[[利用者:芯|真]]であるかどうかを検証すればよい。 命題「Mnならば豚が飛ぶ。」が真であることを証明するために、その[[対偶]]「豚が飛ばないならばMnでない。」が真であることを証明する。<ref>ことに、命題Pとその[[対偶]]の命題Qとの真理値は等しい。</ref> 命題「豚が飛ばないならばMnでない。」について、仮定「豚が飛ばない」は'''常に'''真である(通常、豚が飛ぶことは無い)。また、結論「Mnでない」も'''常に'''真である(Mn は有り得ない)。このことから、「豚が飛ばない」が成り立つとき、「Mnでない」もまた成り立っている、ということがいえる。従って、命題「豚が飛ばないならばMnでない。」は真となる。 よって、真である命題の対偶もまた真であるから、命題「Mnならば豚が飛ぶ。」は真である。 「豚!が!飛!ぶ!」問題の論理的整合性は、かくの如く証明されるのである。 ==使用例== {{大喜利|場所=この節}} この節では、「豚が飛ぶ」の具体的な使用例を掲げる。 #「[[WikiWiki]]が素晴らしいサイトでなかったならば、豚が飛ぶ。」 #「[[Wikipedia]]が素晴らしいサイトであったならば、豚が飛ぶ。」 #「豚が飛ぶならば、豚が飛ぶ。」 #「[[ジョン]]が数学のテストで満点を取るならば、豚が飛ぶ。」 ==派生形== {{大喜利|場所=この節}} この節では「豚が飛ぶ」という言葉から派生した言葉を掲げる。 #[[WikiWiki]]が廃れる #[[Wikipedia]]が栄える ==脚注== <references /> [[en:Pigs would fly]] {{foot|ds=ふたかとふ|cat=ロジック|cat2=言葉|en=Pigs would fly|nm=P2s w3d f1y}}
編集内容の要約:
WikiWikiへの投稿はすべて、クリエイティブ・コモンズ・ゼロ(パブリックドメイン) (詳細は
WikiWiki:著作権
を参照)のもとで公開したと見なされることにご注意ください。 自分が書いたものが他の人に容赦なく編集され、自由に配布されるのを望まない場合は、ここに投稿しないでください。
また、投稿するのは、自分で書いたものか、パブリック ドメインまたはそれに類するフリーな資料からの複製であることを約束してください。
著作権保護されている作品は、許諾なしに投稿しないでください!
編集を中止
編集の仕方
(新しいウィンドウで開きます)
このページで使用されているテンプレート:
テンプレート:Checkdate
(
編集
)
テンプレート:DMC/core
(
編集
)
テンプレート:Fix
(
編集
)
テンプレート:Fix/error
(
編集
)
テンプレート:Fix/title
(
編集
)
テンプレート:Foot
(
編集
)
テンプレート:大喜利
(
編集
)
テンプレート:矛盾
(
編集
)
テンプレート:秀逸な記事
(
編集
)
案内メニュー
個人用ツール
ログインしていません
トーク
投稿記録
アカウント作成
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
編集
ソースを編集
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWikiについてのヘルプ
ツール
リンク元
関連ページの更新状況
特別ページ
ページ情報