論理学なんやがA⊂B⇒(A∩C)⊂(B∩C)は正しいんか?
■ このスレッドは過去ログ倉庫に格納されています
ただしCは全集合をUとしたときC={x∈U:(B∩C)≠Ø,C⊂U}とするんやが合ってるんやろか
ワイが今から証明しようとしてる問題で上のやつ使おうと思ってるんやが >>5
いや論理学ではないんやけどな
普通に数学の空間の話や でもそれってイッチの感想でしかないよね
イッチには夢がないよね >>7
いやまあ多分合ってはいるんやが普通に証明なしで使ってええやつなんやろか AとBの論理積がAに属するのは自明やろ
お前めちゃくちゃアホなこと聞いてるぞ ワイ電電で論理回路やってるから論理回路で書いて考えてるわ
A⇒Bは(~A or B)やから置き換えて出力見てやる >>16
C=Øでも成り立つんか??
ワイあんま論理学詳しくないんやが空集合って部分集合持つん? A cap Cが空のときは成立
A cap Cが空でないときこの任意の元xをとる
xはAの元なので仮定よりBの元
またxは取り方からCの元
よってxはB cap Cの元でこのときも成立 >>17
空集合の部分集合は空集合自身のみでAかつCとBかつCはともに空集合だから成り立つ 論理学の記号もうよく覚えてないわ
!&|で書いてくれ \ ( ‘ᾥ’ )/
\ \
\ γ∩ミ
⊂:: ::⊃))
/乂∪彡\ ■ このスレッドは過去ログ倉庫に格納されています