[MaLo] Uebung 7

[kb]

kann man nicht davon ausgehen, dass 0 in |R existiert?

[jim]

Auch noch eine Frage von mir....

wie kriegt man daraus ne Pränex-NF?

[kb]

Tipp: die beiden y sind verschieden!
Ersetze also ein y und die in der entsprechenden Formel vorkommenden y durch (z.B.) w. Dann kannst du die zusammenfassen

[Coolcat]

kann man nicht davon ausgehen, dass 0 in |R existiert?

Nein, 0 ist eine 0-stellige Funktion die eben 0 zurück gibt, also ne Konstante. Du hast nur +, *, f und alles was in der Prädikatenlogik drin ist, also Quantoren, UND, ODER, -> und =. Mehr nicht!

Edit: Wenn du z.B. ein - (minus) willst, musst du dir das auch erst definieren.

Coolcat

[kb]

stimmt, hab falsch gedacht. ich kann ja keine konkreten Elemente aus |R angeben. Gut =)
Naja im Grunde kann ich bei der Aufgabe ja die ganzen Funktionen und Relationen definieren und dann praktisch die Formel aus AfI zu 99% abschreiben.

Hab jetzt mal ne dumme Frage:
Was ist bei Aufgabe (1i) mit "berechnen" gemeint? Alle Variablen durch Funktionen ersetzen? Alles in Abhängigkeit von nur 1 Variablen umformen?
Wurd sicher in den Übungsgruppen erklärt, aber ich war nicht da. Oder in der Vorlesung, als ich mal nicht aufgepasst hab.

[stefffan]

Hab jetzt mal ne dumme Frage:
Was ist bei Aufgabe (1i) mit "berechnen" gemeint?

Du hast eine Formel gegeben und sollst nun darauf die gegebene Substitution anwenden!

[jim]

so wie ich das sehe musst du da einfach die substitution durchführen. Also ggf gebunde Variablen umbenennen und dann substituieren.

[kb]

Achso. Ja dann....
Ist es richtig, dass ich nur 1 Variable umbenennen und nur 2 substituieren muss?

[jim]

also ich hab 3 umbenannt und 2 substituiert.

Bin aber nicht 100% sicher obs stimmt.

[Tommytb]

hmm also in der ganzen Formel ist das y doch gebunden, also können wir das nirgends substituieren und müssen es somit umbenennen, oder?

Dasselbe würde dann gelten für das z im linken Teil der Implikation und das x für den rechten teil der implikation.

Sprich wir können das x im linken Teil der Impli. substituieren und das z im rechten, oder versteh ich das falsch?

[jim]

ja genau so hab ich das auch gemacht.

[kb]

stimmt, das y muss ja noch umbenannt werden.
Aber das z im linken Teil brauchst du nicht umbenennen, weil dort nur das x Substituierst und somit keine Kollision erhälst

[Tommytb]

stimmt, das y muss ja noch umbenannt werden.
Aber das z im linken Teil brauchst du nicht umbenennen, weil dort nur das x Substituierst und somit keine Kollision erhälst

jo des stimmt natürlich, aber es macht es auch nicht falsch, so hoffe ich^^

[Mary_Poppins]

Habt ihr irgendwelche Hinweise wie man definiert?

Definition im AFI-Script angucken Dort ist das in der Form "es ex. ein e > 0, so dass bla bla"

Coolcat

Jo. Mit dem Trick aus der Präsenz Übung bzgl geht das dann recht gut.

Im Skript ist alles mögliche in der Form "es ex. ein > 0, so dass bla bla". Ich seh's leider immer noch nicht. Wenn da in der Präsenzübung etwas gezeigt wurde, dann möcht ich hier darum bitten, dass mich einer mit der Nase auf die am wenigsten umständliche Formel im Skript stößt, denn ich find sie nicht.

Danke schön!

[nathan99]

kann mir jmd. verraten wie ich die aufgabe 2 ohne < lösen soll?
ist mir sehr rätselhaft wie das funktionieren soll...

Man munkelt, dass es eine Musterlösung noch aus Grädels Zeiten geben soll, in der das einfach dreisterweise mit "<" und ">" vorgerechnet wurde.
Das sollte also auch bei der Abgabe gelten. Dass man sich das auch anders zurechtfrickeln kann, wurde ja schon in den anderen Abgaben bewiesen...