derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ logic 色々捨てがたい気持ちはあるが、取りあえず含意を $\to$ にして、推件式を $\vdash$ にしておこう。或は長さを変えて $\longrightarrow$ にするかもしれない。さて、含意と言えば精神的安定のためには、 \begin{equation} P \to Q \iff \lnot P \lor Q \end{equation}のことだと思うことにして深く追求しないのが良さそうに感じる。色々議論があるがスッキリしない。 竹内本(「現代集合論入門」)と金子本では ``数学ではこういう認識'' という趣旨の記載があるがあまり納得できない。``数学ではそういう理解で含意を使いますよ''… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F20%2F031259" title="記号論理学(2) - らんだむな記憶" 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 2016-02-20 03:12:59 rich https://randommemory.hatenablog.com/entry/2016/02/20/031259 1.0 100%