m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ Mx 2018 論理 用語法 次の3つは区別されるべき。 計算指示としての式 例：算術式 計算結果としの値 例：自然数値＝算術値 計算する行為 計算をオペレーションと言い直すと： オペレーション指示としての式 オペレーション結果としの値 オペレーションする行為 値はオペレーション結果だけではなく、オペレーションの対象物でもある。上記のことを、証明というオペレーションに当てはめてみると： オペレーション指示としての証明式 オペレーション結果としの証明値 オペレーションする証明行為 証明式という言葉は使わないので、リーズニング式、証明値は証明オブジェクトとすると： オペレーション指示としてのリーズニング式（シーケント証明図） … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20181020%2F1540005908" title="式、値、行為 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2018-10-20 12:25:08 rich https://m-hiyama-memo.hatenablog.jp/entry/20181020/1540005908 1.0 100%