Probleme mit Mengen und Aussagenlogik => Beweise

Neue Frage »

Informatikstudent Auf diesen Beitrag antworten »
Probleme mit Mengen und Aussagenlogik => Beweise
Hallo; ich muss zwecks Zulassung zur KLausur regelmäßig richtige Hausaufgaben abgeben. Jetzt stellt sich folgendes Problem : ich muss mittels Aussagenlogik beweisen, dass A^B=B^A ist (der Giebel heißt in dem Fall "geschnitten", es handelt sich um Mengen). Ich hab das mal über das Kommutativgesetz getan: (Der Giebel heißt hier "und" und der € soll Element heißen).

X€A^B <=> X€A ^ X€B <=> X€B ^ X€A <=>X€B^A

Ist das überhaupt ein Beweis?

Außerdem muss ich beweisen, dass {} ^ A = A ist.
Außerdem A Teilmenge B => A^B=A
Außerdem Schnittmenge von A und B ist Teilmenge von A.

Ich hab überhaupt keine Ahnung, was ich da tun soll, insbesondere, welche Gesetze ich da anwenden soll. Ich muss ja nicht unbedingt die Lösung haben , aber ich brüchte dringend eine Anleitung, was ich da wann anwende. Wäre nett, wenn mir schnell geholfen werden könnte, ich muss das morgen abgeben.
Mazze Auf diesen Beitrag antworten »

Um Mengentheoretische Aussagen zu Beweisen formt man die Mengen in Aussagenlogische Ausdrücke um

Ich Beweise Beispielhaft das



los gehts



Wir wissen das die Und-Verknüpfung kommutativ ist. Das heißt



Sollst Du Beweisen oder Widerlegen das



ist? Weil nämlich



ist.
Informatikstudent Auf diesen Beitrag antworten »

ich hatte da wohl nen Fehler eingebaut:

natürlich ist a^{} = {} und ich soll das beweisen.
Infostudent Auf diesen Beitrag antworten »

cih bins noch mal. Mein Problem ist gelöst, vielen Dank an Carsten.
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »