「(AかつB)またはC」が「(AまたはC)かつ(BまたはC)」と同値であることは自明なんか？

1 ：風吹けば名無し：2020/05/24(日) 01:56:17 ID:YZZrPZXW0.net

論理学数学詳しい奴頼むで

90 ：風吹けば名無し：2020/05/24(日) 02:09:20 ID:kCsPXUtLa.net

ベン図言うてるやつはSPIもセンター数学もロクに解けんな
こりゃ

91 ：風吹けば名無し：2020/05/24(日) 02:09:25 ID:YZZrPZXW0.net

上のはドモルガンやな

92 ：風吹けば名無し：2020/05/24(日) 02:09:58 ID:WeqLcI540.net

論理回路で検証すれば

93 ：風吹けば名無し：2020/05/24(日) 02:10:06 ID:YZZrPZXW0.net

>>81
サンガツ

94 ：風吹けば名無し：2020/05/24(日) 02:10:44 ID:dTfgFcqY0.net

もうええやん
イッチみたいに証明できんなら真偽図書いてこの通りになるで命題は正しい！
証明終わり！でええやん
悩まんで済むで

95 ：風吹けば名無し：2020/05/24(日) 02:10:46 ID:zDcG0eEAa.net

3変数ぐらいなら根性で行ける

96 ：風吹けば名無し：2020/05/24(日) 02:11:29 ID:59mK7CUY0.net

A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)を示してからドモルガンでええやろ

97 ：風吹けば名無し：2020/05/24(日) 02:11:35 ID:v69LTQjz0.net

ベンズ言ってるやつ何一つ数学理解してなさそう

98 ：風吹けば名無し：2020/05/24(日) 02:11:40 ID:FTRnQRhH0.net

>>90
センターIAこれで解けない問題出るんか？

99 ：風吹けば名無し：2020/05/24(日) 02:11:49 ID:jlFhMEac0.net

ワイジ、理系なのにさっぱりわからん
みんな頭ええな

100 ：風吹けば名無し：2020/05/24(日) 02:11:50 ID:YZZrPZXW0.net

A=BがAがBの部分集合でありBがAの部分集合であることと同値であることを用いて証明していくのもできると思ったんやが

101 ：風吹けば名無し：2020/05/24(日) 02:11:59 ID:59mK7CUY0.net

>>96
若干違うけど許せ

102 ：風吹けば名無し：2020/05/24(日) 02:12:00 ID:ZcriyIFmd.net

>>91
下もだよ
単純なスレタイの通りの入れ替えが嫌なら左から処理する気分で
Aと右項、Bでないと右項に分配法則してまたそれらを分配法則してまたそれらを逆の分配法則すればええやん

103 ：風吹けば名無し：2020/05/24(日) 02:12:00 ID:KBXoOCbF0.net

教科書に基本的な公式として載ってるようなものは自明でいいでしょ

104 ：風吹けば名無し：2020/05/24(日) 02:12:00 ID:dTfgFcqY0.net

せっかく大学入ったんやから頭使わな勿体ないのに
教科書も読めへんのか😅

105 ：風吹けば名無し：2020/05/24(日) 02:12:02 ID:wQiXDFA60.net

同値性の証明やからどっちの式から始めてももう片方の式に変形できることを証明するんやで

106 ：風吹けば名無し：2020/05/24(日) 02:12:02 ID:99qM1ThP0.net

>>89
学部1年の数学は高校まで当たり前と思ってたのを見つめ直してキチンと議論しましょう、そうでなければ今後の議論すべて砂上の楼閣になっちゃう
ってモチベーションやろからアカンやろね

107 ：風吹けば名無し：2020/05/24(日) 02:12:23 ID:mC/oFK3Dd.net

ワイ、訳がわからないのに考えてしまう痛恨のミス

108 ：風吹けば名無し：2020/05/24(日) 02:12:53 ID:8Wr0DsPV0.net

>>84
歴史的には重要だけど実用的にはロクに役に立たんわ
まあ使える範囲なら使ってもええけど

109 ：風吹けば名無し：2020/05/24(日) 02:13:52 ID:tmlOk94o0.net

情報系か？
離散数学とかどう使われるのかイマイチイメージできんわ

110 ：風吹けば名無し：2020/05/24(日) 02:13:52 ID:eR9Fs1P30.net

自明や↑

111 ：風吹けば名無し：2020/05/24(日) 02:14:04 ID:rEmZWP8Y0.net

>>108
今回は使えんってこと？
示すだけなら問題無いんとちゃうの

112 ：風吹けば名無し：2020/05/24(日) 02:14:27 ID:FTRnQRhH0.net

>>106
だからこれって分野次第やろ
それとも工学部や農学部でもB1では理学部数学科みたいなことやるんか
高校まで使ってたもので綻びが出るのってそこまで多くないやろ

113 ：風吹けば名無し：2020/05/24(日) 02:14:35 ID:KFqVHyj90.net

差集合って普通に和集合とか共通部分とか補集合使ってかけるから同地変形でいけるやら

114 ：風吹けば名無し：2020/05/24(日) 02:14:51 ID:hzu6PFlPa.net

中卒ワイ、とんかつが食べたくなる

115 ：風吹けば名無し：2020/05/24(日) 02:15:19 ID:ZcriyIFmd.net

>>112
理学部数学科はアフィチルの言うように哲学でもやってると思ってんのか？

116 ：風吹けば名無し：2020/05/24(日) 02:15:20 ID:lceqPHHX0.net

普通に命題論理の同値変形でいけるやん
頑張って勉強せえ

117 ：風吹けば名無し：2020/05/24(日) 02:15:25 ID:VYeYhQOP0.net

いやまあベン図書けば殆ど自明だと思うけどね

118 ：風吹けば名無し：2020/05/24(日) 02:16:06 ID:M98oaTla0.net

>>113
多分そういう面倒なことするからスレタイみたいな問題にあたるんやろ

119 ：風吹けば名無し：2020/05/24(日) 02:16:14 ID:dph8X0ex0.net

type a to c のUSB 3.0ほしい

120 ：風吹けば名無し：2020/05/24(日) 02:16:52 ID:FTRnQRhH0.net

>>115
？？？
何が言いたいの

121 ：風吹けば名無し：2020/05/24(日) 02:17:23 ID:vUfC5AJtd.net

>>104
君の大学はええとこやし君もええ方やろな

うちのことこは自明のことは自明って思っとるうんこしかおらん

122 ：風吹けば名無し：2020/05/24(日) 02:17:44 ID:cnQSvS1b0.net

〜を示せ。で自明ですは草生える

123 ：風吹けば名無し：2020/05/24(日) 02:18:00 ID:C5L2k4oO0.net

「(童貞かつ陰キャ)または女好き」の集団はみんな↓のどっちかになる
・女嫌いだったら絶対童貞かつ陰キャ
・女好きは経験有ったり無かったり陰キャだったり陽キャだったり

これは「(童貞または女好き)かつ(陰キャまたは女好き)」と同義や

124 ：風吹けば名無し：2020/05/24(日) 02:18:29 ID:ZcriyIFmd.net

>>120
いやお前が何が言いたいのか分からないんだが
それに「扱わなさそう」とか「それとも工学部や農学部でもB1では理学部数学科みたいなことやるんか」とか全部想像で喋ってんのに何で噛み付いてくるのかも分からん

125 ：風吹けば名無し：2020/05/24(日) 02:18:33 ID:KFqVHyj90.net

>>118
面倒か？1番普通やろ

126 ：風吹けば名無し：2020/05/24(日) 02:18:44 ID:tmlOk94o0.net

>>120
工学部も数学科も根底にあるのものは同じってことやないか？
物理も高校では公式暗記がメインやったが大学では微分からアプローチするやんけ

127 ：風吹けば名無し：2020/05/24(日) 02:19:14 ID:VYeYhQOP0.net

ちょっと考えれば自明、っていうのが自明かどうかわからなくなってきた
式変形やベン図やらを頭の中で考えれば数秒でわかるけどそれは自明と言っていいのかどうか混乱してきたぞ

128 ：風吹けば名無し：2020/05/24(日) 02:20:04 ID:8Wr0DsPV0.net

>>111
使ってもええけど細かく図の経過書かないと証明するの難しいと思うし、集合が4つ以上になったらクソ大変になる
公理からの式変形が自然

129 ：風吹けば名無し：2020/05/24(日) 02:20:16 ID:Trtv+yBbd.net

数学科入って何が自明としていいのか悪いのかわからんくなった

130 ：風吹けば名無し：2020/05/24(日) 02:20:17 ID:4P3Tyze0p.net

>>28
同値やろ

131 ：風吹けば名無し：2020/05/24(日) 02:20:24 ID:mxfAmxL70.net

D:=(A∩B)∪C={x|a∈(A∩B) ∨ a∈C}

E:=(A∪C)∩(B∪C)={x|a∈(A∪B)∧a∈(B∪C)}={x|(a∈A∨a∈B)∧(a∈B∨a∈C)}

D=E⇔D⊂E∧E⊂D

x∈Cならばx∈(B∪C)でありx∈E
x∈(A∩B)ならばx∈(A∪B)、よりx∈E
よってD⊂E

x∈Eのとき、xはA,B,Cのどれかに含まれる。
したがって、x∈(A∩B)∪C=DでありE⊂D

132 ：風吹けば名無し：2020/05/24(日) 02:21:05 ID:tmlOk94o0.net

>>127
ワイは教科書に乗ってなければ全て自明では無いことにしとるわ
ワイ大学で使ってる教科書には「一般に〜が知られている」って形で論理式がリストアップされてるから線引がわかりやすくてええ

133 ：風吹けば名無し：2020/05/24(日) 02:21:10 ID:wQiXDFA60.net

ベン図使ってもええとは思うけどベン図を使ったら正しい答えが得られる証明が必要になるから面倒ちゃう？

134 ：風吹けば名無し：2020/05/24(日) 02:21:18 ID:M98oaTla0.net

>>125
元取れるんだから取ったほうが思考は簡単やろ
集合の問題なんやし

135 ：風吹けば名無し：2020/05/24(日) 02:21:29 ID:FTRnQRhH0.net

>>124
全部想像って言うけど他大のカリキュラムなんか知らんやろ
ワイんとこと違うかもしれへんやん

横から入ってきて噛みつくとか意味分からんわ

136 ：風吹けば名無し：2020/05/24(日) 02:21:37 ID:ot8Xbftt0.net

>>98
解くだけでいいならベン図で余裕だぞ
言うてこいつも大した点数取れてないで

137 ：風吹けば名無し：2020/05/24(日) 02:22:15 ID:IGn7SNBk0.net

意味論的に書けば脳死で解けるけど構文的に解くんなら適当に式変形すればいいだけ

138 ：風吹けば名無し：2020/05/24(日) 02:22:19 ID:1ZGvbKKa0.net

ベン図かけあほ

139 ：風吹けば名無し：2020/05/24(日) 02:22:23 ID:ZcriyIFmd.net

>>135
横から入ってきてるのは数学の話してる人間に「数学ってどうせこうやろ」とか想像で語り聞かせて来て本職に反論されて不機嫌になるお前では？