（1366）「パースの法則」は「排中律」である（Ⅱ）。

論理

（01）パースの法則（パースのほうそく）は哲学者であり論理学者であるチャールズ・サンダース・パースにちなむ論理学における法則である。彼の最初の命題論理の公理化において、この法則を公理に採用した。この公理は、含意と呼ばれるただひとつの結合子を…

（1365）「パースの法則」は「排中律」である。

論理

（01）命題計算では、パースの法則は（（Ｐ→Ｑ）→Ｐ）→Ｐのことを言う。この意味するところを書き出すと、命題Ｐについて、命題Ｑが存在して、「ＰならばＱ」からＰが真であることが従うときには、Ｐは真でなければならないとなる。とりわけ、Ｑとして偽を…

論理

（01）１（１）～（Ｐ＆～Ｑ）Ａ２（２）～（～Ｐ∨Ｑ）Ａ３（３）～ＰＡ３（４）～Ｐ∨Ｑ３∨Ｉ２３（５）～（～Ｐ∨Ｑ）＆（～Ｐ∨Ｑ）１４＆Ｉ２（６）～～Ｐ３ＲＡＡ２（７）Ｐ９ＤＮ８（８）ＱＡ８（９）～Ｐ∨Ｑ８∨Ｉ１ …

論理

（01）１（１）～ＰＡ１（２）～Ｐ∨ Ｑ１∨Ｉ３（３）Ｐ＆～ＱＡ４（４）～ＰＡ３（５）Ｐ３＆Ｅ３４（６）～Ｐ＆Ｐ４５＆Ｉ４（７）～（Ｐ＆～Ｑ）３６ＲＡＡ８（８）ＱＡ３（９）～Ｑ３＆Ｅ３８（ア）Ｑ＆～Ｑ８９＆…

論理

（01）（ⅰ）１（１）ＰＡ１（２）Ｐ∨Ｑ１∨Ｉ（３）Ｐ→（Ｐ∨Ｑ）１２ＣＰ（ⅱ）１（１）（Ｐ＆Ｑ）Ａ１（２）Ｑ１＆Ｅ（３）（Ｐ＆Ｑ）→Ｑ１２ＣＰ（ⅲ）１（１）ＰＡ２（２）Ｐ→ＱＡ１２（３）Ｑ１２ＭＰＰ１（４）（Ｐ→Ｑ）→Ｑ２３ＣＰ…

論理

―「控訴理由書（の補足Ⅳ）」― （01）民事訴訟法規則第１８２条１項控訴状に第一審判決の取消し又は変更を求める事由の具体的な記載がないときは、控訴人は、控訴の提起後五十日以内に、これらを記載した書面を控訴裁判所に提出しなければならない。然るに、…