Wie spricht man das aus: {x->y, x->z} |= x -> yz?

Question

kann mir bitte jemand sagen, wie man das "ausspricht" :

{x->y, x->z} |= x -> yz
das vorgehen hab ich eigentlich kapiert, nur wie sprech ich das richtig aus??

bitte bitte helft mir :/

danke..

Answer 1

{x->y, x->z} |= x -> yz

Ich würde das lesen als

"Wenn  x 'das' y impliziert und x 'das' z impliziert, dann impliziert x 'das' yz"

'das' musst du nicht mitlesen. Deutet eher eine Pause an.

Meine Lesart hat nun aber eher mit Logik als mit Mengenlehre zu tun.

Comments

vielen dank! das hat mir schonmal sehr geholfen.

kannst du mir noch schnell sagen, wie ich das ausspreche: " := "

---

Ich vermute im Zusammenhang mit Logik:  'Wenn'....'dann'.

Ansonsten. f(x):= 2x+7

f von x ist definiert als zwei x plus sieben.

---

super! nun eine klitzekleine letzte frage noch:
was heisst das x^+ also eine art "hoch plus" ...hast du das shconmal gesehen, bzw. weisst du wie man as ausspricht, oder was es heisst?? dann ist aber auch schluss! :)

---

^  wird machmal als logisches AND (und) verwendet.

Dann noch ein plus sagt mir jetzt nichts. Vielleicht kannst du deinen Ausdruck stückweise hier eingeben: https://www.wolframalpha.com/input/?i=%5E%2B

mit ^+ kann WolframAlpha allerdings auch nichts anfangen.

---

Habe gerade bemerkt, dass das Hochstellen von PLUS nicht automatisch geschieht.

Wenn ich positive reelle Zahlen abkürze, kommt ein ^+ 'hoch plus' zustande:

R^+

Nun muss ich das+ in Klammern setzen, um R^{+} zu erzeugen.