>>78 つづき

>>48-49 & >>69

その定理Cの例示は、証明論の場合分けを曲解しているだけのことだろ
上記>>62の命題論理 藤田聡 広島大学 <証明手法> P85 proof by cases をご参照

以上