17/11/19 21:17:48.57 qSgBJu5S.net
>>356
¬Ａを「Aではない」とすると
「Ａ または Ｂではない」ではない→¬(Ａ∨(¬Ｂ))
で、ドモルガンの法則は
¬(Ａ∨Ｂ)＝(¬Ａ)∧(¬Ｂ)なので
¬(Ａ∨(¬Ｂ))＝(¬Ａ)∧(¬(¬Ｂ))
(二重否定¬¬は元と同値なので)
＝(¬Ａ)∧Ｂ ←Ａではない かつ Ｂ
17/11/19 21:17:48.57 qSgBJu5S.net
>>356
¬Ａを「Aではない」とすると
「Ａ または Ｂではない」ではない→¬(Ａ∨(¬Ｂ))
で、ドモルガンの法則は
¬(Ａ∨Ｂ)＝(¬Ａ)∧(¬Ｂ)なので
¬(Ａ∨(¬Ｂ))＝(¬Ａ)∧(¬(¬Ｂ))
(二重否定¬¬は元と同値なので)
＝(¬Ａ)∧Ｂ ←Ａではない かつ Ｂ