morita_non https://blog.hatena.ne.jp/morita_non/ memo https://morita-non.hatenadiary.org/ 一般に、Aが一つもなければ、命題「全てのAはBである」は必ず真になる。(専門用語では、「空ゆえに真(vacuously true)」という。)驚くかもしれないが、次の命題は真である。 すべてのユニコーンは、五本足である。 この文に反証する唯一の方法は、少なくとも一頭の五本足ではないユニコーンを提示することであるが、ユニコーンは一頭もいないので、そのようなユニコーンを提示することは出来ない。だから次の命題も真。 すべてのユニコーンは、六本足である。 すべてのユニコーンについてのどんなことも、それは空ゆえに真になる。一方、命題「全ての馬は六本足である。」という命題は偽だということが簡単に示せる。単… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmorita-non.hatenadiary.org%2Fentry%2F20150819%2F1439993511" title="空ゆえに真 - memo" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2015-08-19 23:11:51 rich https://morita-non.hatenadiary.org/entry/20150819/1439993511 1.0 100%