elmikamino https://blog.hatena.ne.jp/elmikamino/ 記憶の彼方へ https://elmikamino.hatenablog.jp/ 論理学入門 前回までで、標準的な命題論理の道具立てのすべてについて、それぞれの使い勝手を一通り学んだことになります。専門的にはそれを体系、特に公理系と呼びます。体系、システムというのは、世間では結構曖昧に使われていますから、ここで最も厳密な体系、システムの感覚をつかんでおけば、今後色んな場面で出くわす体系、システムの「程度」も見当がつけられるようになるでしょう。さて、これまで学んできた標準的な命題論理の「体系」は次のようでした（『入門！論理学』p.146）。 否定の導入則（背理法）：「Ａ」を仮定して矛盾が導かれるとき、「Ａではない」と結論してよい。 否定の除去則（二重否定取り）：（Ａではない）ではない→Ａ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Felmikamino.hatenablog.jp%2Fentry%2F20070524%2F1180036381" title="論理学入門2007　第６回　体系感覚をつかむ - 記憶の彼方へ" 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 2007-05-24 04:53:01 rich https://elmikamino.hatenablog.jp/entry/20070524/1180036381 1.0 100%