10,123
回編集
「対偶」の版間の差分
ナビゲーションに移動
検索に移動
編集の要約なし
編集の要約なし |
編集の要約なし |
||
| (2人の利用者による、間の7版が非表示) | |||
| 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"に由来しない言葉があったならば、その言葉は'''対偶'''でない。 | ||
| 20行目: | 20行目: | ||
#ピロリ菌はかわいい。⇔かわいくないものは、ピロリ菌でない。 | #ピロリ菌はかわいい。⇔かわいくないものは、ピロリ菌でない。 | ||
#すべての人間はピカチュウをかわいいと感じる。⇔ピカチュウをかわいいと感じないものは、人間でない。 | #すべての人間はピカチュウをかわいいと感じる。⇔ピカチュウをかわいいと感じないものは、人間でない。 | ||
#すべての人間には四肢がある。⇔[[公序良俗|四肢がないものは、人間でない。]] | |||
==脚注== | ==脚注== | ||
<References /> | <References /> | ||
{{foot|ds=たいくう|cat=ロジック|cat2=自己言及}} | |||
{{ | |||