Hallo encoder,
Vielen Dank für Deine Antwort.
Daraus könnte man dann logische Gleichungen erstellen. Also wenn x in A1, dann auch x in B1. Und somit ist die Aussage "x in B1 ODER x in B2 ODER x in B3" wahr.
D.h. x in ((A1∪A2)∪A3) ist dasselbe wie:
x in A1 oder x in A2 oder X in A3. Und diese 3 Fälle schaut man sich an:
- x in A1, dann x in B1, somit die Aussage: "x in B1 ODER x in B2 oder x in B3" wahr,
- x in A2, dann x in B2, somit die Aussage: "x in B1 ODER x in B2 oder x in B3" wahr,
- x in A3, dann x in B3, somit die Aussage: "x in B1 ODER x in B2 oder x in B3" wahr.
Da alle 3 Aussagen wahr sind, ist auch die Aussage "((A1∪A2)∪A3) ⊆ ((B1∪B2)∪B3)" wahr.
Habe ich Dich richtig verstanden?
Und noch eine (vielleicht blöde) Frage, weil Du von logischen Gleichungen gesprochen hattest: Muss für eine Gleichung nicht auch ein "=" dabei sein?
Noch mal danke für die Hilfe
Julia