Urbild von Abbildungen bilden?

Hallo liebe Community,

ich rechne gerade eine Aufgabe die wie folgt lautet:



Was ist ?

Ansich hatte ich das Gefühl Urbilder ganz gut zu verstehen.

Wenn man f(x)=x^2+1 hat und f^-1(3) bestimmen soll, dann setze ich einfach die 3 für y in meiner Funktion ein und bestimme das entsprechende x dazu.

So bei Funktion f wollte ich nun wie folgt vorgehen:

Ich setze erst 0 für y ein und dann 1 für y. Aber jetzt war ich schon etwas verwirrt, weil es eine Funktion mit 2 Variablen ist x und y. Meine erste Idee war erst jedes y durch 0 zu ersetzen also so: 0 = x*0-0^2

Das hat aber für mich keinen Sinn mehr gegeben, weil das ist dann ja für jeden Wert von x wahr und wie soll ich das als Ergebnis aufschreiben.

Dann habe ich es noch wie folgt ausprobiert: 0 = x*y-y^2

Und kam dabei auf folgende Lösung x=y oder y=0.

Dann habe ich so weitergerechnet: 1=x*y-y^2 und kam auf folgendes Ergebnis: y+1/y

Mein Ergebnis für das Urbild f^-1([0,1]) ist dann folgendes: {y,0,y+1/y}. Ist das so korrekt?

Nun habe ich weitergerechnet mit g. Da soll ich für y das kartesische Produkt von 5 und den Reelen Zahlen einsetzen. So hier war ich eigentlich schon geliefert. Wenn man das kartesische Produkt von 5 x R bildet hat man ja Paare, aber eine unendliche Anzahl von Paaren und ich kann ja schlecht unendlich viele Paare für y einsetzen, da werde ich ja wortwörtlich nie fertig mit.

Dann habe ich mir gedacht okay, y muss das Paar (3x,7) sein. Damit also die Gleichung wahr ist muss man die Relle Zahl 7 nehmen dann hat man für y das Paar (5,7) also gilt (5,7)=(3x,7) und dann muss ich nur noch die Gleichung hier lösen: 5 = 3x also x = 5/3. Und dann ist die Lösung für das Urbild von g^-1(5xR)={5/3}???

Kann mir bitte jemand erklären ob ich das richtig gerechnet habe bzw. gedacht habe oder falls ich halt einen Fehler gemacht habe mir erklären wo mein Fehler liegt.

Das wäre wirklich sehr nett von euch :)

Schule, Mathematik, lineare Algebra, Mengenlehre, Aussagenlogik
Widerspurchsbeweis als logische Formel?

Hallo liebe Community,

ich beschäftige mich immer noch mit dem Thema Aussagenlogik und will erneut eine Verständnisfrage stellen. Ich probiere gerade den indirekten Beweis oder auch Beweis durch Widerspruch zu verstehen.

Meinem Verständnis nach funktioniert der Widerspruchsbeweis wie folgt:

Man nimmt eine Aussage S und negiert diese. Der Widerspruchsbeweis funktioniert nur wenn die negierte Aussage S den Wahrheitswert falsch hat. Wenn die negierte Aussage von S den Wahrheitswert falsch hat, dann kann man die negierte Aussage S nocheinmal negieren.



Dadurch, dass die doppelt negierte Aussage von S eindeutig wahr ist, und die doppelte Negation von S wieder S ergibt hat man dadurch bewiesen, dass S wahr ist.

Ansich habe ich das Gefühl, dass ich es teilweise verstanden habe, aber ich habe es noch nicht in der Gänze verstanden.

Ich möchte die ganze Zeit den Beweis durch Widerspruch als logische Formel aufstellen und dann wollte ich probieren diese logische Formel, formal zu beweisen. Mit vielleicht einer Wahrheitswertetabelle.

Das habe ich auch schon irgendwie ein bisschen ausprobiert und hatte folgendes:

Nur irgendwie habe ich diese Wahrheitswertetabelle erstellt ohne mir im klaren zu sein, was ich da so wirklich mache. Ich habe meiner Meinung nach immer noch keine logische Formel für den Beweis durch Widerspruch.

Also meine expliziten Fragen sind:
  1. Was ist die logische Formel des Beweises durch Widerspruch.
  2. Ergibt meine Wahrheitswertetabelle Sinn im Bezug auf den Beweis durch Widerspruch?
  3. Wenn meine Wahrheitswertetabelle Sinn ergibt, kann mir jemand kurz zusammenfassen warum diese Wahrheitswertetabelle Sinn ergibt?

Anmerkung zu der letzten Frage: Ich bin halt ein bisschen verwirrt im allgemeinen, da ich nicht weiß wie ich damit umgehen soll falls die Aussage S falsch ist. Weil dann funktioniert ja der Beweis durch Widerspruch eigentlich nicht, weil ich dann die Negation von S nicht zu einem Widerspruch bringen kann, oder?

Bild zum Beitrag
Schule, Mathematik, Sprache, Formel, lineare Algebra, Logik, Mengenlehre, Aussagenlogik

Meistgelesene Beiträge zum Thema Mengenlehre