d1021の日記

ja.wikipedia.org 互いに無矛盾な命題からなる形式論理系では、別の文を次々と推論（演繹）してゆくことができる。たとえば三段論法の有名な例として、「すべての人間は死ぬものである。ソクラテスは人間である。ゆえにソクラテスも死ぬものである。」というのがあるが、三つ目の文は前の二つから演繹されたものである。ユ…