20/01/05 16:05:30.03 xIJa5Rld.net
A,B：命題
A ∧ B ⇒ A ∨ B
disjoint union なら成立するが通常の和集合の場合
共通集合A∩Bから
A∩￢B ∧ ￢A∩B
の存在をすべて説明することができないので
連言から選言が直ちに言えるとは言い難い
また
A ∨ B (排他的選言でない)
論理和(少なくとも一方)の場合
(1)一方のとき
(2)両方のとき
の2つの場合に分けて示す必要があると考えられる
20/01/05 16:05:30.03 xIJa5Rld.net
A,B：命題
A ∧ B ⇒ A ∨ B
disjoint union なら成立するが通常の和集合の場合
共通集合A∩Bから
A∩￢B ∧ ￢A∩B
の存在をすべて説明することができないので
連言から選言が直ちに言えるとは言い難い
また
A ∨ B (排他的選言でない)
論理和(少なくとも一方)の場合
(1)一方のとき
(2)両方のとき
の2つの場合に分けて示す必要があると考えられる