Pulin https://blog.hatena.ne.jp/Pulin/ 御光堂世界~Pulinの日記 https://pulin.hateblo.jp/ 私事 言語学 最近出た井上真偽『恋と禁忌の述語論理（プレディケット）』という推理小説が論理学を題材にして興味深そうなので読んでみました。まだ読みはじめたばかりですが、最初の方に一つ問題が出てきたので考えてみました。9-10頁の次のような問題です。 【次の充足問題を解け】 A： 私は風呂場にいる。 B： 私は蔵にいる。 C： 私は台所の戸棚の上にいる。 D： 私は家の中のどこにもいない。 論理式 (¬C→B)∧¬(¬A→B)∧(D→(A∧C)) は真である。 （解答） 与えられた論理式は真なのでその各連言肢は真であり ¬C→B=真 ¬(¬A→B)=真 D→(A∧C)=真 となる。 ¬C→BはC∨Bと置けるので… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpulin.hateblo.jp%2Fentry%2F20150111%2F1420942952" title="『恋と禁忌の述語論理』に出てくる問題 - 御光堂世界~Pulinの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://images-fe.ssl-images-amazon.com/images/I/51gZYPs1RGL._SL160_.jpg Hatena Blog https://hatena.blog 2015-01-11 11:22:32 rich https://pulin.hateblo.jp/entry/20150111/1420942952 1.0 100%