18/02/10 22:19:47.00 N325TWRA.net
>>75 つづき
>>45 & >>67-68
その定理Cは、的外れ
私が言っていることは、>>62の命題論理 藤田聡 広島大学
(抜粋)
＜証明手法＞
P85
proof by cases
(p１∨p２∨・・・∨pｎ)→q
を示すのに
(p１→q)∧(p２→q)∧・・・∧(pｎ→q)
を示す
(引用終り)
ってこと。定理Cは、場合分けとは違う
つづく
18/02/10 22:19:47.00 N325TWRA.net
>>75 つづき
>>45 & >>67-68
その定理Cは、的外れ
私が言っていることは、>>62の命題論理 藤田聡 広島大学
(抜粋)
＜証明手法＞
P85
proof by cases
(p１∨p２∨・・・∨pｎ)→q
を示すのに
(p１→q)∧(p２→q)∧・・・∧(pｎ→q)
を示す
(引用終り)
ってこと。定理Cは、場合分けとは違う
つづく