cut_elimination https://blog.hatena.ne.jp/cut_elimination/ 曇りなき眼で見定めブログ https://cut-elimination.hatenablog.com/ 分析哲学 論理学 数学 プログラミング ※この記事はエイプリルフールのビッグウェーブに乗り遅れないように焦って書いたので、内容が凄くテキトーです。のちのちちゃんと勉強して推敲してアップデートします。 「私は嘘つきです」というやつです。論理学っぽく書くと「この文は偽である」。 (1)「この文は偽である」は真であると仮定すると、この文は偽であることになる。ここでいうこの文というのは当の「この文は偽である」という文のことである。すると「この文は偽である」は真であり、かつ「この文は偽である」は偽であることになって矛盾。 (2)「この文は偽である」は偽であると仮定すると、この文は真であることとなる。ここでいうこの文というのは当の「この文は偽で… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcut-elimination.hatenablog.com%2Fentry%2F2021%2F04%2F01%2F203745" title="【エイプリルフール記念】嘘つきのパラドクスについてちょっと勉強しましたよ（発展途上） - 曇りなき眼で見定めブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/411GzVCB75L.jpg Hatena Blog https://hatena.blog 2021-04-01 20:37:45 rich https://cut-elimination.hatenablog.com/entry/2021/04/01/203745 1.0 100%