日記2

自然演繹を積極的に用いたい.

2023-09-05から1日間の記事一覧

矛盾許容論理の方法

とする.このとき 「すべての日本人はすべて人間で,ある動物である.」 なぜなら すべての日本人はある動物である すべての日本人はすべて人間である からである. 選言三段論法による表示 ① すべての日本人はある動物である または すべての人間はある動物…