Wie kann man diese Aussage beweisen mit einem x in A, das nicht in C liegt?

Question

Falls A ⊂ B und A ⊄ C, dann B ⊄ C

Problem
Wie kann man diese Aussage beweisen mit einem x in A, das nicht in C liegt?

Answer 1

mit einem x in A, das nicht in C liegt

Dieses x liegt in B, weil A ⊂ B.

Weil es ein x in B gibt, das nicht in C liegt, ist B ⊄ C .

Comments

wie kann ich das beweisen?

---

Was willst du da noch beweisen?

A ⊂ B ∧ A ⊄ C ⇒ B ⊄ C ist damit schon bewiesen.