Pulin https://blog.hatena.ne.jp/Pulin/ 御光堂世界~Pulinの日記 https://pulin.hateblo.jp/ 言語学 実質含意のパラドックスとは (1) p→(q→p) (2) ¬p→(p→q) といった論理式のことである。 (1)は、pならば、qならばpである。(2)は、pでないならば、pならばqである。となる。 →（ならば）という記号は、日常言語の「ならば」とは意味が微妙に異なり、前件が偽かまたは後件が真の時に真になる関係を表す。これを実質含意という。質量含意ともいう。 これらの式は恒真であり、pやqがどんな命題であっても成り立ち、pが真でも偽でも構わず、qの真偽には依存しないから、パラドックス的に感じられるのである。 （証明） (1) p→(q→p) 1 p ─── p∨¬q ─── q→p ─────… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpulin.hateblo.jp%2Fentry%2F20141126%2F1416994129" 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> Hatena Blog https://hatena.blog 2014-11-26 18:28:49 rich https://pulin.hateblo.jp/entry/20141126/1416994129 1.0 100%