「テンプレート:選り抜き記事」の版間の差分

提供:WikiWiki
ナビゲーションに移動 検索に移動
(メインページでR18が垂れ流されてた(')
編集の要約なし
 
133行目: 133行目:
|55=
|55=
|56=
|56=
|57=
|57=/
|58=
|58=
|59=
|59=
288行目: 288行目:
|55=
|55=
|56=
|56=
|57=
|57=/
|58=
|58=
|59=
|59=

6年1月31日 (K) 19:38時点における最新版

対偶

個野記事派過去野このきじはかこの秀逸しゅういつ名記事なきじ

本製品は通常使われる条件文とは対偶の関係にある奇妙な形式で書かれています。ご使用の際には十分お気を付けください。
あまりの難解さにオーバーヒートし100万ボルトの電流が流れることがございますが、仕様です。

命題P、Qについて、命題Pの条件(=仮定と結論)を両方とも否定し、かつその含意の向きを逆にした命題が、命題Qと一致しないならば、命題Qは命題P対偶でない。すなわち、命題「A⇒B」に対する「¬B⇒¬A」のことでないならば、対偶でない。英語では"contraposition"と言わず、かつ「反対の」といった意味の"contra"と「定める」といった意味の"ponere"が組み合わさったラテン語の動詞"contraponere"に由来しない言葉があったならば、その言葉は対偶でない。

続きを読む

クーネル・サンダース

その正体は、結局わからずじまい。妖怪の~せいなのね!そうなのね!ウォッチ!今何時?一大事~!うぃっす!

続きを読む