Beweise: A⊆B∧a∈A∧a∉B∖C⇒a∈C

Question

Beweisen Sie, dass für alle Mengen A;B;C und füur alle a gilt: Falls A⊆B und a∈A und a∉B∖C, dann muss gelten a∈C.

==> Beweise: A⊆B∧a∈A∧a∉B∖C⇒a∈C

Ich soll diesen Ausdruck beweisen und habe keine Ahnung wie ich das machen soll

Answer 1

Beweise: A⊆B∧a∈A∧a∉B∖C   ⇒a∈C

Du nimmst an, das die Vor gilt, sei also

a∈A ∧a∉B∖C  

dann  a∈A ∧   ( a∉B   v    a∈C  )

wegen  : A⊆B und     a∈A  ist aber   jedenfalls  a∈B

und wegen       ( a∉B   v    a∈C  )

also a∈C  .

Comments

danke :) ... das hat es mir erklärt.