>>75 つづき

>>45 & >>67-68

その定理Cは、的外れ
私が言っていることは、>>62の命題論理 藤田聡 広島大学
(抜粋)
＜証明手法＞
P85
proof by cases
(p１∨p２∨・・・∨pｎ)→q
を示すのに
(p１→q)∧(p２→q)∧・・・∧(pｎ→q)
を示す
(引用終り)

ってこと。定理Cは、場合分けとは違う

つづく