ammonite2004 https://blog.hatena.ne.jp/ammonite2004/ Syllogistic Complaints https://ammonite2004.hatenablog.com/ わたし 「現在のフランス国王は賢明である」と言う文は、 文法的には真でもフランスに国王はいないから、正しい文とは言えない。 この文を分析すると三つの命題に分けられる。 フランス国王が存在する ただ一人のフランス国王が存在する フランス国王であるところのものは賢明である 1 が偽であるから、もとの文も偽である。 述語論理の記号であらわすとこうなるらしい。 (∃x)*1&Wx) (∃x)は「ある x が存在する」、 K は「フランス国王である」、W は「賢明である」を表す。 全体で「ある x はフランス国王であり、かつ、すべての y についてもし y がフランス国王であればそのとき y は x と同一物で… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fammonite2004.hatenablog.com%2Fentry%2F4d713b7bbef7a05ad6ac0b468da9e97d" title="覚え書き - Syllogistic Complaints" 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 2023-09-11 20:03:00 rich https://ammonite2004.hatenablog.com/entry/4d713b7bbef7a05ad6ac0b468da9e97d 1.0 100%