論理学なんやがA⊂B⇒(A∩C)⊂(B∩C)は正しいんか？

**風吹けば名無し** · 2022/05/17(火) 06:08:26.78

ただしCは全集合をUとしたときC={x∈U:(B∩C)≠Ø,C⊂U}とするんやが合ってるんやろか
ワイが今から証明しようとしてる問題で上のやつ使おうと思ってるんやが

**風吹けば名無し** · 2022/05/17(火) 06:08:41.85

まあほんまは論理学やなくて数学なんやけど

**風吹けば名無し** · 2022/05/17(火) 06:09:19.89

たしかにな

**風吹けば名無し** · 2022/05/17(火) 06:10:42.05

ベン図書けよ一発でわかるから

**風吹けば名無し** · 2022/05/17(火) 06:11:02.47

論理学の勉強って役に立つか？

**風吹けば名無し** · 2022/05/17(火) 06:12:01.41

>>5
いや論理学ではないんやけどな
普通に数学の空間の話や

**風吹けば名無し** · 2022/05/17(火) 06:14:03.99

普通に元とって包含関係みればええとおもうが

**風吹けば名無し** · 2022/05/17(火) 06:14:36.61

でもそれってイッチの感想でしかないよね
イッチには夢がないよね

**風吹けば名無し** · 2022/05/17(火) 06:15:00.19

>>7
いやまあ多分合ってはいるんやが普通に証明なしで使ってええやつなんやろか

**風吹けば名無し** · 2022/05/17(火) 06:16:33.09

(~￣³￣)~

**風吹けば名無し** · 2022/05/17(火) 06:16:53.36

(⊃｡•́‿•̀｡)⊃

**風吹けば名無し** · 2022/05/17(火) 06:17:30.78

AとBの論理積がAに属するのは自明やろ
お前めちゃくちゃアホなこと聞いてるぞ

**風吹けば名無し** · 2022/05/17(火) 06:17:35.77

証明はできないとだめやな

**風吹けば名無し** · 2022/05/17(火) 06:21:04.53

>>12
それはA∩B⊂Aやろ

**風吹けば名無し** · 2022/05/17(火) 06:21:06.38

ワイ電電で論理回路やってるから論理回路で書いて考えてるわ
A⇒Bは(~A or B)やから置き換えて出力見てやる

**風吹けば名無し** · 2022/05/17(火) 06:24:16.11

Cがいかなる集合だろうが成立するやん

**風吹けば名無し** · 2022/05/17(火) 06:25:35.34

>>16
C=Øでも成り立つんか？？
ワイあんま論理学詳しくないんやが空集合って部分集合持つん？

**風吹けば名無し** · 2022/05/17(火) 06:27:01.73

A cap Cが空のときは成立
A cap Cが空でないときこの任意の元xをとる
xはAの元なので仮定よりBの元
またxは取り方からCの元
よってxはB cap Cの元でこのときも成立

**風吹けば名無し** · 2022/05/17(火) 06:27:28.86

>>17
空集合の部分集合は空集合自身のみでAかつCとBかつCはともに空集合だから成り立つ

**風吹けば名無し** · 2022/05/17(火) 06:28:43.54

A⇒BなんだからA∩C⇒B∩Cやろ

**風吹けば名無し** · 2022/05/17(火) 06:32:06.27

⊂⊂(o∩n)⊃⊃

**風吹けば名無し** · 2022/05/17(火) 06:38:06.63

普通はカルノー図書くよね

**風吹けば名無し** · 2022/05/17(火) 06:45:15.54

論理学の記号もうよく覚えてないわ
!&|で書いてくれ

**風吹けば名無し** · 2022/05/17(火) 06:46:23.65

>>4
これな

**風吹けば名無し** · 2022/05/17(火) 06:52:50.50

(つд⊂)ｺﾞｼｺﾞｼ

**風吹けば名無し** · 2022/05/17(火) 06:54:57.13

明らかに間違ってね？

**風吹けば名無し** · 2022/05/17(火) 06:59:55.11

＼ ( ‘ᾥ’ )/
　＼　＼
　　＼ γ∩ミ
　　⊂::　::⊃))
　　／乂∪彡＼