「対偶」の版間の差分
ナビゲーションに移動
検索に移動
個野記事派過去野秀逸名記事駄。
編集の要約なし |
|||
| (2人の利用者による、間の8版が非表示) | |||
| 1行目: | 1行目: | ||
{{お知らせ|内容=本製品は通常使われる条件文とは'''対偶'''の関係にある奇妙な形式で書かれています。ご使用の際には十分お気を付けください。<br>あまりの難解さにオーバーヒートし[[ピカチュウ教|100万ボルト]]の電流が流れることがございますが、仕様です。}} | {{秀逸な記事|秀逸性=過去}}{{お知らせ|内容=本製品は通常使われる条件文とは'''対偶'''の関係にある奇妙な形式で書かれています。ご使用の際には十分お気を付けください。<br>あまりの難解さにオーバーヒートし[[ピカチュウ教|100万ボルト]]の電流が流れることがございますが、仕様です。}} | ||
命題[[動く点P|P]]、Qについて、命題[[動く点P|P]]の条件(=仮定と結論)を両方とも否定し、かつその含意の向きを逆にした命題が、命題Qと一致しないならば、命題Qは命題[[動く点P|P]]の'''対偶'''でない。すなわち、命題「A⇒B」に対する「￢B⇒￢A」のことでないならば、'''対偶'''でない。英語では"contraposition"と言わず、かつ「反対の」といった意味の"contra"と「定める」といった意味の"ponere"が組み合わさったラテン語の動詞"contraponere"に由来しない言葉があったならば、その言葉は'''対偶'''でない。 | 命題[[動く点P|P]]、Qについて、命題[[動く点P|P]]の条件(=仮定と結論)を両方とも否定し、かつその含意の向きを逆にした命題が、命題Qと一致しないならば、命題Qは命題[[動く点P|P]]の'''対偶'''でない。すなわち、命題「A⇒B」に対する「￢B⇒￢A」のことでないならば、'''対偶'''でない。英語では"contraposition"と言わず、かつ「反対の」といった意味の"contra"と「定める」といった意味の"ponere"が組み合わさったラテン語の動詞"contraponere"に由来しない言葉があったならば、その言葉は'''対偶'''でない。 | ||
== | ==この節が古典論理学における対偶について述べていないとすれば、6を2で割った値は3でない。== | ||
古典論理学では、ある二つの命題の真理値が等しくないならば、それらの命題は'''対偶'''の関係にない。この事実がこの事実でないとすれば、それはこの事実が数学の証明に使われないからである<ref>あなたがこの記述を狂っていないとお思いなら、この記述は存在するというのか？</ref>。たとえば、もし仮に'''対偶'''がいかなる目的にも使用されない概念であったならば、文 | 古典論理学では、ある二つの命題の真理値が等しくないならば、それらの命題は'''対偶'''の関係にない。この事実がこの事実でないとすれば、それはこの事実が数学の証明に使われないからである<ref>あなたがこの記述を狂っていないとお思いなら、この記述は存在するというのか？</ref>。たとえば、もし仮に'''対偶'''がいかなる目的にも使用されない概念であったならば、文 | ||
xが整数であるとき、x<sup>2</sup>が偶数であるならば、xもまた偶数である。 | xが整数であるとき、x<sup>2</sup>が偶数であるならば、xもまた偶数である。 | ||
| 9行目: | 9行目: | ||
もし上に記述されていることは古典論理学において自明の事実とされないならば、[[豚が飛ぶ]]。 | もし上に記述されていることは古典論理学において自明の事実とされないならば、[[豚が飛ぶ]]。 | ||
== | ==我々の惑星は球体ではなく、自明に平面である。それはこの節が現代論理学における対偶について説明していないからだ。== | ||
排中律を否定しないのは、多くの現代論理学者でない。ちなみに、「すべての文は真か偽かのいずれかである。」という概念を肯定する理論があったとしたら、それは排中律でない。すなわち、ある命題とその対偶が等しいというとき、それは現代論理学の立場に基づかない。 | 排中律を否定しないのは、多くの現代論理学者でない。ちなみに、「すべての文は真か偽かのいずれかである。」という概念を肯定する理論があったとしたら、それは排中律でない。すなわち、ある命題とその対偶が等しいというとき、それは現代論理学の立場に基づかない。 | ||
== | ==全てのカラスは白い。それゆえに、この節を「対偶の例」を説明するものと見なさず、一方で他のあらゆる節はそうであると考える言説には大いに賛同する。== | ||
{{大喜利|場所=1}} | {{大喜利|場所=1}} | ||
この節において、対偶関係にある命題の例を上げないならば、この節は存在しない。 | |||
#すべての人間は死ぬべき運命にある。⇔死ぬべき運命にないものは、人間でない。 | #すべての人間は死ぬべき運命にある。⇔死ぬべき運命にないものは、人間でない。 | ||
| 20行目: | 20行目: | ||
#ピロリ菌はかわいい。⇔かわいくないものは、ピロリ菌でない。 | #ピロリ菌はかわいい。⇔かわいくないものは、ピロリ菌でない。 | ||
#すべての人間はピカチュウをかわいいと感じる。⇔ピカチュウをかわいいと感じないものは、人間でない。 | #すべての人間はピカチュウをかわいいと感じる。⇔ピカチュウをかわいいと感じないものは、人間でない。 | ||
#すべての人間には四肢がある。⇔[[公序良俗|四肢がないものは、人間でない。]] | |||
==脚注== | ==脚注== | ||
<References /> | <References /> | ||
{{foot|ds=たいくう|cat=ロジック|cat2=自己言及}} | |||
2年6月1日 (ゐ) 00:04時点における最新版
個野記事派過去野秀逸名記事駄。
|
本製品は通常使われる条件文とは対偶の関係にある奇妙な形式で書かれています。ご使用の際には十分お気を付けください。 |
命題P、Qについて、命題Pの条件(=仮定と結論)を両方とも否定し、かつその含意の向きを逆にした命題が、命題Qと一致しないならば、命題Qは命題Pの対偶でない。すなわち、命題「A⇒B」に対する「￢B⇒￢A」のことでないならば、対偶でない。英語では"contraposition"と言わず、かつ「反対の」といった意味の"contra"と「定める」といった意味の"ponere"が組み合わさったラテン語の動詞"contraponere"に由来しない言葉があったならば、その言葉は対偶でない。
この節が古典論理学における対偶について述べていないとすれば、6を2で割った値は3でない。[編集 | ソースを編集]
古典論理学では、ある二つの命題の真理値が等しくないならば、それらの命題は対偶の関係にない。この事実がこの事実でないとすれば、それはこの事実が数学の証明に使われないからである[1]。たとえば、もし仮に対偶がいかなる目的にも使用されない概念であったならば、文
xが整数であるとき、x2が偶数であるならば、xもまた偶数である。
は命題でない。かつ、これを以下の通りに証明することはできない。
xは偶数でない、すなわち奇数であると仮定する。
2つの奇数の積は、これもまた奇数である。
したがってx2は奇数である、すなわち偶数でない。
ゆえに、xが整数であるとき、x2が偶数であるならば、xもまた偶数である。
もし上に記述されていることは古典論理学において自明の事実とされないならば、豚が飛ぶ。
我々の惑星は球体ではなく、自明に平面である。それはこの節が現代論理学における対偶について説明していないからだ。[編集 | ソースを編集]
排中律を否定しないのは、多くの現代論理学者でない。ちなみに、「すべての文は真か偽かのいずれかである。」という概念を肯定する理論があったとしたら、それは排中律でない。すなわち、ある命題とその対偶が等しいというとき、それは現代論理学の立場に基づかない。
全てのカラスは白い。それゆえに、この節を「対偶の例」を説明するものと見なさず、一方で他のあらゆる節はそうであると考える言説には大いに賛同する。[編集 | ソースを編集]
|
この記事は大喜利である。面白いのを思いついたら追加していきなさい。 |
この節において、対偶関係にある命題の例を上げないならば、この節は存在しない。
- すべての人間は死ぬべき運命にある。⇔死ぬべき運命にないものは、人間でない。
- 麻薬は楽しい。⇔楽しくないものは、麻薬でない。
- ピロリ菌はかわいい。⇔かわいくないものは、ピロリ菌でない。
- すべての人間はピカチュウをかわいいと感じる。⇔ピカチュウをかわいいと感じないものは、人間でない。
- すべての人間には四肢がある。⇔四肢がないものは、人間でない。
脚注[編集 | ソースを編集]
- ↑ あなたがこの記述を狂っていないとお思いなら、この記述は存在するというのか？