「ド・モルガンの法則」の版間の差分
削除された内容 追加された内容
「本が好き」の変更を戻す 記号を用いた方が理解しやすい |
m編集の要約なし |
||
72行目:
=== 全否定と部分否定 ===
[[全否定]]や[[部分否定]]をどう言い換えるかという問題は(述語論理における)ド・モルガンの法則が扱う問題と本質的には同じであ
この文の部分否定「'''すべての本を好きだというわけではない'''」は「全てのxに対しA(x)」の否定であり、ド・モルガンの法則によって「あるxに対し¬A(x)」、すなわち「'''好きでない本もある'''」となる。全否定の文「'''すべての本が嫌いだ'''」は「全てのxに対し¬A(x)」と表せ、ド・モルガンの法則によって「あるxに対しA(x)」の否定、「'''好きな本はない'''」だということになる。
{{DEFAULTSORT:ともるかんのほうそく}}
|