derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ logic いまこれ以上、記号論理学を深追いしようとは思わないが、戸田山本の「10.2 シンタクスとセマンティクス」で触れられている議論は興味深い。\begin{equation} A_1,A_2,\cdots,A_n \vDash C \end{equation}は結論は前提からの論理的帰結であることを意味する。意味論(セマンティクス)的表現である。 一方、 \begin{equation} A_1,A_2,\cdots,A_n \vdash C \end{equation}は、公理や規則をもとに式変形を繰り返すことで前提から演繹で結論が導出されることを意味する。構文論(シンタクス)的表現である。ここで… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F21%2F013939" title="記号論理学(6) - らんだむな記憶" 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-21 01:39:39 rich https://randommemory.hatenablog.com/entry/2016/02/21/013939 1.0 100%