19/06/24 23:09:36.35 UmPj1dDF.net
>>211
おっちゃんへ。
そんな大げさなことじゃなくって、
>「∀」や「∃」程度の量化子記号が空気のように使われて書かれたテキストは色々ある。
のテキストのように、"空気のように"使えばいいってこと。
内容はおっちゃんなら当然知ってるでしょ。ｗｗ
ポイントは、"無限版のド・モルガンの定理"で、背理法に便利。
￢∀x∈X P(x) ⇔ ∃x∈X ￢P(x)
￢∃x∈X P(x) ⇔ ∀x∈X ￢P(x)
19/06/24 23:09:36.35 UmPj1dDF.net
>>211
おっちゃんへ。
そんな大げさなことじゃなくって、
>「∀」や「∃」程度の量化子記号が空気のように使われて書かれたテキストは色々ある。
のテキストのように、"空気のように"使えばいいってこと。
内容はおっちゃんなら当然知ってるでしょ。ｗｗ
ポイントは、"無限版のド・モルガンの定理"で、背理法に便利。
￢∀x∈X P(x) ⇔ ∃x∈X ￢P(x)
￢∃x∈X P(x) ⇔ ∀x∈X ￢P(x)