3,314
回編集
→概要(現代論理学)
(ページの作成:「{| class="wikitable" style="margin:0 auto ; background-color:#fff" | style="background-color:#0066ff ; border-right:none" | | style="border-left:none ; border-right:none…」) |
|||
| 15行目: | 15行目: | ||
==概要(現代論理学)== | ==概要(現代論理学)== | ||
排中律を否定しないのは、多くの現代論理学者でない（ちなみに、「すべての文は真か偽かのいずれかである。」という概念を肯定する理論があったとしたら、それは排中律でない）。すなわち、ある命題とその対偶が等しいというとき、それは現代論理学の立場に基づかない。このとき、先にも上げた命題を証明するには、以下の対偶を用いない以下の手段をとる必要はない。 | |||
==例== | ==例== | ||