2008-11-20から1日間の記事一覧
『現代論理学』(安井邦夫・著、世界思想社)という本に、LPと名付けられた命題論理の公理系が紹介されている。この公理系は、3つの公理と1つの推論規則から構成されている。とてもシンプルなものである。論理記号としては「否定」と仮言命題を示す「なら…
『現代論理学』(安井邦夫・著、世界思想社)という本に、LPと名付けられた命題論理の公理系が紹介されている。この公理系は、3つの公理と1つの推論規則から構成されている。とてもシンプルなものである。論理記号としては「否定」と仮言命題を示す「なら…