![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
No.6ベストアンサー
- 回答日時:
ご質問は集合の演算におけるド・モルガンの法則の話をなさっているようですが、集合を、論理式a(x), b(x)を使って
A = { x | a(x) }, B = { x | b(x) }
のように書いてみると、
A∩B = { x | a(x) ∧ b(x) } (∧ は ANDと読む)
のように論理式の演算の話と対応しているんです。あるいは x∈A∩B は (x∈A)∧(x∈B) と同じ、という風に表しても良いでしょう。
というわけで、論理(命題論理、述語論理)におけるド・モルガンの法則の方が本質的に重要だろうと。ですから、何もプログラミングや論理回路にばかり使うだけのものじゃありません。
さて、qa 7150137 の No.4には「ド・モルガン5連発」があります。ご覧になれば分かるように、普通の数式で符号を扱うのと同程度に基礎的かつ重要な操作です。論理式を間違えないように扱うには、このように1ステップずつ書き下していくのが良いですね。
で、どうも、「必要充分条件が~」だの「帰納法で何を証明すればいいんだっけ~」だの「オレは有名な大難問を解決したぞ~」なんてことになる人たちは、大抵ここんとこが出来てないようです。
あ。 その論理演算子は、最近の教科書ではあまり突っ込んで説明されていませんね。当方は今高校数学をやっている最中です。たまたま化学計算の基礎を綴った本を図書館で見たら、回答者様のおっしゃる数学記号がわんさか出て来て、なにが何だか分からなかったのを覚えています。
数Aで扱う集合論、確率、論理演算はかなりざっくりとした基本的な説明のみですが、かなり普遍性を持った重要な分野であると独学なりにも気付けます。 ご回答者様のアドバイスは核心をついていて、痒いところに手が届くといった感じです。
色々な問題やって、少なくとも論理、集合の使い方くらいはうまく使いこなせるよう取り組んでみようと思います
理屈っぽいお礼ですみませんが、御丁寧な回答ありがとうございました。
No.4
- 回答日時:
少なくとも、大学受験数学でド・モルガンの法則を利用して解いた経験はありませんね。
。というか、簡単に証明できますので、問題を解いているうちに知らず知らずに利用していることもあったと思うんですが。(解説にド・モルガンの法則よりとあるが、自分は使わずに解いた経験があったので)
そうですよね。具体的な要素の指定が無いときに個数をもとめるには、便利っちゃ便利ですね。
いずれにしても、あっさりと通り過ぎてしまい過ぎな感があります。
No.1
- 回答日時:
プログラムを書くとき、「もし~ならば、~~~を実行する」という記述の ~ の部分でちょいちょい使います。
数学だと、not( A and B) or C or D とかを、(not A) or (not B) or C or D とか展開して、(not A) と C をよく見比べると、(not A) or C or D に簡略化できるとかありますね。( not A ならばかならず C のとき)
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
(^_^.) 数学がよくできる人っ...
-
電磁波測定器の測定結果について
-
実験における誤差範囲の許容範...
-
電気信号と電波の違いを教えて...
-
3重解?
-
携帯でよく使われる単位「hz」...
-
広帯域だとなぜ大容量?
-
個人に嫌がらせする電磁波攻撃...
-
磁場で電磁波は曲がる?
-
大理石って電波を通しますか?
-
GPS電波について
-
電波の影響でストーブの電源が...
-
純粋公共財の問題
-
有効数字について 化学の計算問...
-
誤差を含む数値同士を掛け算し...
-
拡散変態、無拡散変態、サブゼ...
-
円周率「π」が、10桁で割り切...
-
TVなどのリモコンの先端に着...
-
平均値、標準偏差の有効数字に...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
正負逆転のことをなんといいま...
-
(^_^.) 数学がよくできる人っ...
-
論理式を加法標準形、乗法標準...
-
正直者とうそつきを見分ける質...
-
「AならばB」で、Aが偽でBが真...
-
ちょっと複雑な質問でごめんな...
-
【論理】正直者・あまのじゃく...
-
【数学・乗法公式はどういうと...
-
除法の種類
-
信頼度の事を教えて下さい。お...
-
論理回路
-
数学と論理的思考の関係につい...
-
XOR をNAND素子のみを用いて表...
-
1bitの半加算器をNANDのみで表す時
-
論理回路 QM法のやり方
-
論理式 簡単化
-
「偶然」のパラドックス
-
論理式の簡略化
-
純粋数学とはどんなものかを説...
-
【論理演算子?】AND、OR、XOR...
おすすめ情報