Sie sind nicht angemeldet.

  • Anmelden

Lieber Besucher, herzlich willkommen bei: MastersForum. Falls dies Ihr erster Besuch auf dieser Seite ist, lesen Sie sich bitte die Hilfe durch. Dort wird Ihnen die Bedienung dieser Seite näher erläutert. Darüber hinaus sollten Sie sich registrieren, um alle Funktionen dieser Seite nutzen zu können. Benutzen Sie das Registrierungsformular, um sich zu registrieren oder informieren Sie sich ausführlich über den Registrierungsvorgang. Falls Sie sich bereits zu einem früheren Zeitpunkt registriert haben, können Sie sich hier anmelden.

1

26.10.2008, 15:00

Mathe: Logik (Informatik)

Hallo zusammen,

ich muss ein paar Aufgaben zur Logik lösen und derzeit fehlt mir der richtige Ansatz. Die erste Aufgabe lautet wie folgt:

Zitat

Zeigen oder widerlegen Sie die Allgemeingültigkeit folgender Aussagen. Ist eine Aussage A nicht allgemeingültig, so ist ein Zustand anzugeben, so dass die Aussage mit diesem Zustand nicht gilt.

a) x = y + 1 UND y = (z + 1)(z - 1) ) => x >= 0


Kann mir jemand helfen wie ich jetzt richtig an die Aufgabe heran gehe? Ich stehe momentan etwas auf dem Schlauch.

Vielen Dank!

2

26.10.2008, 15:04

x, y, z aus den reellen Zahlen?

3

26.10.2008, 15:08

Steht nicht dabei. Ich gehe mal davon aus, dass die ganzen Zahlen gemeint sind...

4

26.10.2008, 15:16

mein Ansatz wäre da nen paar Werte x < 0 zu probieren, so dass der 2. Term (es gilt y = (z + 1 ) (z - 1) aber halt nicht x >= 0) zum widerspruch geführt wird.
durch x = y +1 kannst du dann ja einfach y, und mit y auch z bestimmen.

5

26.10.2008, 15:17

y = z² - 1, also wenn z reell ist dann ist y >= - 1 und damit x >= 0
Aber wenn nichts dabei steht, und groß von Allgemeingültigkeit geschwafelt wird, dann ist die Aussage falsch, man nehme z = i, dann ist x = -1

6

26.10.2008, 15:18

Setz einfach den Teil hinter dem UND in den Teil vor dem UND ein, dann sollte es nach ein wenig Zusammenfassen offensichtlich sein. Der Wertebereich von x, y und z kann dabei R, Z oder N sein - völlig egal hier.

7

26.10.2008, 17:06

Zitat

Original von GEC|Napo
y = z² - 1, also wenn z reell ist dann ist y >= - 1 und damit x >= 0
Aber wenn nichts dabei steht, und groß von Allgemeingültigkeit geschwafelt wird, dann ist die Aussage falsch, man nehme z = i, dann ist x = -1

Genau das habe ich auch gedacht. Aber die letzte Bedingung impliziert doch, dass x aus einer total geordneten Menge ist, oder nicht?

8

26.10.2008, 17:39

Denke die komplexen Zahlen sind hier nicht gemeint. x kann ja nicht aus C sein, wegen Ordnung. wäre komisch, wenn dann z plötzlich aus C ist.
Und das sind Informatiker, die schwafeln eh ;)

Ansonsten gilt auch hier: Auf Napo hören.
Oder einfach mal 2 minuten die Aufgabe anschauen und die Klammer ausmultiplizieren.

Dieser Beitrag wurde bereits 1 mal editiert, zuletzt von »La_Nague« (26.10.2008, 17:40)


9

26.10.2008, 19:50

Danke!

10

26.10.2008, 23:21

Ihr habt recht, also dass in der Aufgabenstellung eine Ordnung benutzt wird, soll einem wohl suggerieren, dass es sich um geordnete Zahlen handelt. Nichtdestotrotz, erfüllt mein Beispiel die Bedingungen trotzdem ;), und um La_Nague noch abzuwatschen, sowohl x,y als auch z werden garantiert aus C sein, nur wird eventuell gefordert, dass der Imaginärteil 0 ist. ;)

12

27.10.2008, 00:37

Ohne jetzt genauer drüber nachzudenken, bin auch kein Algebraiker, aber: könnte man nicht auch irgend nen endlichen Körper basteln, auf dem das funktioniert? ;)

Und @Napo: Wenn es auf ner Menge funktioniert, so ist diese vielleicht immer isomorph zu C oder R, muss aber doch nicht immer schon C oder R sein, oder?

13

27.10.2008, 09:21

hm also bei endlichen Körpern ist es glaub ich nicht so sinnvoll eine Ordnung zu definieren, dafür müsste ich mir aber die Ordnungsaxiome nochmal genau anschauen.
Isomorphie ist ja Gleichheit ;) und da jeder Primkörper isomorph zu Q ist bei char 0 kommt man wieder aufs selbe Ergebnis wenn man die Ordnung definiert. Aber es stimmt, man könnte auch Elente die nicht aus C sind finden die das erfüllen.....Quaternionen.

Nicht traurig sein La_Nague, hab mich ja geirrt ;)

14

27.10.2008, 09:45

bzw nicht erfüllen ;)

15

27.10.2008, 11:10

sind wir uns eigentlich einig, dass die Aufgabenstellung ziemlich blöd is, wenn zu x, y, z überhaupt nullkommanix gesagt wird?

16

27.10.2008, 11:28

Zitat

Original von [AA]Hawk
sind wir uns eigentlich einig, dass die Aufgabenstellung ziemlich blöd is, wenn zu x, y, z überhaupt nullkommanix gesagt wird?

Jo, deswegen zielte auch gleich meine erste Frage danach ab.