quinoh https://blog.hatena.ne.jp/quinoh/ 跳慮跋考 https://kino.hateblo.jp/ 心 Advent Calendar 2017 人間の知識（命題）は経験や情報伝達によって獲得され、また「推論」で述べた様な推論能力から新たな命題が生み出される。これらは確かとは限らないが、一方で人間の「論理」と呼ばれる能力は、既知の命題から必然的に成立する命題を導く。 形式論理 論理システムは形式論理、中でもゲルハルト゠ゲンツェンの自然演繹としてモデル化される。命題論理の自然演繹であれば、特殊な命題⊥（矛盾）と以下の記号で命題が構成される。 ￢（否定、～でない） ∧（連言、かつ） ∨（選言、または） →（含意、ならば） P と Q が前提としてある時 P∧Q が導入される、という様に推論規則が定義される。この推論規則は複合的な命題の構造を… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkino.hateblo.jp%2Fentry%2F2017%2F12%2F16%2F225958" 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 2017-12-16 22:59:58 rich https://kino.hateblo.jp/entry/2017/12/16/225958 1.0 100%