derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ logic 含意に対して割り切った姿勢をとって先へ進む。 証明論の推論規則にいわく「右含意」 \begin{equation} \frac{A,\Gamma \vdash \Theta,B}{\Gamma \vdash \Theta, A \to B} \end{equation}というのがあるが、長らくここで心が折れて進めなかったが、やっと少し見えてきたのでメモを残したい。推件式「$\Gamma \vdash \Theta$」(或は長～い矢印をもって $\Gamma \longrightarrow \Theta$)というやつは「$\Gamma$ を $A_1,A_2,\cdots,A_m $ 、 $\T… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F20%2F031635" title="記号論理学(3) - らんだむな記憶" 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:16:35 rich https://randommemory.hatenablog.com/entry/2016/02/20/031635 1.0 100%