2013-12-16から1日間の記事一覧
フレーゲ『概念記法』における命題論理の公理は6つある*1。その中で (D→(B→A))→(B→(D→A)) が実は余計だったということが後で分かったという。また、 (B→A)→(¬A→¬B) という公理ではなく、これの逆を採用していれば3つで済んだのに、という話もある。 しかし、…
フレーゲ『概念記法』における命題論理の公理は6つある*1。その中で (D→(B→A))→(B→(D→A)) が実は余計だったということが後で分かったという。また、 (B→A)→(¬A→¬B) という公理ではなく、これの逆を採用していれば3つで済んだのに、という話もある。 しかし、…