No.1ベストアンサー
- 回答日時:
定義は飛ばし、公理だけ.... 。
(A1) 反射律(reflexivity law) Y⊆Xのとき,X→Yが成立
(A2) 増加律(augmentation law) X→Yのとき,XZ→YZが成立
(A3) 推移律(transitivity law) X→YかつY→Zのとき,X→Zが成立
>分解律: X → YZ ⇒ X → Y ∧ X → Z
Y⊆YZ かつ Z⊆YZ だから (A1) により YZ → Y かつ YZ → Z
これと X → YZ から (A3) により X → Y かつ X → Z
>擬推移律: X → Y ∧ WY → Z ⇒ XW → Z
(A2) により X → Y のとき XW→YWが成立。
これと WY → Z が成立するから (A3) により XW → Z
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 順序集合における「反射律」の役割について 9 2022/05/09 23:01
- 憲法・法令通則 精神障害者は一人暮らしをしたり一般企業で就労したりする事を禁ずる法律でもあるんですか? 成人の息子の 10 2022/08/04 15:13
- その他(法律) 大学の法律ついて? 2 2022/10/19 21:49
- 数学 内田伏一著 集合と位相 p34, 問8.4 5 2022/12/17 20:21
- 経済 この世界は選択肢が多すぎる 4 2022/09/21 07:15
- その他(ニュース・社会制度・災害) 原発を「最大限活用する」として、大きく二つの政策転換・・うれしいです。 年の最後の最後で最高の 0 2022/12/22 19:11
- 法学 【法の支配】国民が法律に従う義務の法的根拠は? 5 2023/02/26 21:49
- au(KDDI) auデータ移行の有料化について… 先日、auショップにてスマホ機種変更の見積もりを取りました。 他に 6 2022/04/28 14:09
- 法学 誓約書について取引先からのメールの文面、皆様ならどう解釈しますか? 2 2022/06/25 14:57
- その他(法律) 意味不明な法律について ・ なぜ、著作権と肖像権と言う余計な法律があるんですか? 意味が分からねー! 4 2023/05/22 20:05
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
素数の積に1を加算すると素数で...
-
数学の「証明」のときなどの接...
-
関数従属性、擬推移律・分解律...
-
証明終了の記号。
-
婿養子に入ったのに出て行けと...
-
成人した後両親が離婚し別の人...
-
夫が亡くなった後の義理家族と...
-
おねがいします!!!!!
-
実息とは?
-
無理数って二乗しても有理数に...
-
群の生成についての問題
-
巡回群と巡回群の直積は巡回群?
-
双子素数とゴールドバッハ予想...
-
ルービックキューブを数学的に...
-
4回目の復縁ってありだと思いま...
-
不完全微分であることの証明
-
線形代数 正則 階数
-
婿養子です、妻と離婚して妻の...
-
「証明証」と「証明書」はどう...
-
元夫が彼女の存在を隠す理由
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
素数の積に1を加算すると素数で...
-
証明終了の記号。
-
数学の証明問題で、「証明終了」...
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
幽霊が存在していないことを証...
-
「証明証」と「証明書」はどう...
-
rankに関する証明問題です。
-
よって・ゆえに・したがって・∴...
-
一様連続の証明
-
素数の性質
-
中3数学 2つの続いた整数では、...
-
(4^n)-1が3の倍数であることの...
-
スカラー場とベクトル場
-
なぜ独身だと養子が持てないの...
-
夫が亡くなった後の義理家族と...
-
無理数って二乗しても有理数に...
-
婿養子に入ったのに出て行けと...
-
兄弟の子どもの養子縁組は可能...
-
一様連続 e^x 証明
おすすめ情報