Nun eigentlich ganz trivial:
Du hast den ersten Ausdruck mit: FÜR ALLE y- Elemente aus den natürlichen Zahlen gilt, dass FÜR ALLE x-Elemente aus den natürlichen Zahlen gilt, dass x gleich y ist. Nun daraus folgt ja schon das es nur eine natürliche Zahl gibt, also dass die zweite Aussage stimmt. Du nimmst sozusagen einmal alle natürlichen Zahlen (das erste für alle) und dann sagst du das dafür gilt, dass nochmal alle natürlichen Zahlen (das zweite für alle) gleich den ersten natürlichen Zahlen sind. Nun aber da es unendlich viele unterschiedliche natürliche Zahlen gibt, dann kann es nur eine natürliche Zahl geben, damit die Aussage gilt. Also hast du, dass der 1. Ausdruck in Verbindung mit der 2. Aussage steht.
Der zweite Ausdruck ist: FÜR ALLE y-Elemente aus den natürlichen Zahlen gilt, dass GENAU EIN x-Element aus den natürlichen Zahlen existiert, sodass gilt x gleich y. Anhand der Worte genau ein kannst du schon wissen, dass es sich um die erste Aussage handel muss, aber ich versuche dir auch das nochmal zu erklären. Es heißt für alle y-Elemente aus den natürlichen Zahlen kannst du dir nur genau ein x-Element aus den natürlichen Zahlen nehmen, damit gilt das dein x- und y-Element gleich sind. Bsp. nimmst du als y die Zahlen 2, 50, 1400 dann hast du: Es existiert einmal nur genau ein x-Element mit x = 2 in den natürlichen Zahlen, sodass x = 2 = y gilt. Das ist eine wahre Aussage. Genauso für y = 50 und y = 1400. Also hast du, dass der 2. Ausdruck in Verbindung mit der 1. Aussage steht.
Wie oben schon kurz erwähnt, hättest du auch mit dem Ausschlusskiriterium arbeiten können, denn der Existenzquantor mit ! steht doch für genau einmal oder nur einmal oder etc., wie es halt in der ersten Aussage steht. Dann hättest du direkt 1. Ausdruck zur 2. Aussage und 2. Ausdruck zur 1. Aussage. Aber nachvollziehen ist natürlich immer besser! ;)
Hoffe ich konnte es einigermaßen verständlich gestalten, Aussagenlogik ist bei mir schon etwas länger her und wurde auch nur in der Einführungsveranstaltung bei mir behandelt :)
Student B.A, Punkte: 1.47K