0 Daumen
393 Aufrufe

Hallo Leute,

ich habe eine folgende Übung undzwar handelt es sich um Semantik.

Ich verstehe bei der ii) nicht, wie man auf das Ergebnis {p, q} kommt. Ich habe alle Wege schon ausprobiert undzwar von rechts nach links zu lesen aber trotzdem komme ich nie auf p, q.

Auch die Lösungen verraten nicht die Rechenschritte.

Kann mir jemand helfen, wie man auf p, q kommt?


Danke im Voraus.


Bild.png

von

Macht ihr das in theoretischer Informatik oder in Mathe? Deine Frage war zur Migration in die Stacklounge (Informatik) gemeldet. Gleiches Login wie in der Mathelounge. 

Tut mir Leid. Ich wusste das nicht. Danke für das Migrieren

Kein Problem. In der Mathelounge kommt gelegentlich schneller eine Reaktion / Antwort. Die ist nun auch migriert worden.

1 Antwort

+2 Daumen

$$\mathcal{W}\left(\mathtt{p.q:-p.s:-r.}\right) = \\ \mathcal{W}\left(\mathtt{p.q:-p.}\right) \cup \left\{r\right\}= \\ \mathcal{W}\left(\mathtt{p.}\right) \cup \left\{\mathtt{r}\right\}= \\ \left\{\mathtt{p}\right\} \cup \left\{\mathtt{r}\right\}= \\ \left\{\mathtt{p, q}\right\}.$$ Das ist mein Vorschlag zur Diskussion.

von

Vielen Dank. Jetzt wird mir das klar

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage sofort und kostenfrei

x
Made by a lovely community