L-Struktur definieren

16.12.2012, 12:18	xbody	Auf diesen Beitrag antworten »
L-Struktur definieren Kann mir jmd. ein Beispiel hier vorrechnen? L = {P, R} eine Sprache mit einstelligen Prädikatssymbolen P, R. Für folgende Aussagen muss ich eine L-Struktur fiden in welcher die Aussage nicht stimmt und eine L-Struktur in welcher sie wahr ist: $\begin{eqnarray} (\exists x P(x) \wedge \exists x R(x)) \rightarrow \exists x (P(x) \wedge R(x)) \end{eqnarray}$ $\begin{eqnarray} \forall x (P(x) \wedge R(x)) \rightarrow (\forall x P(x) \wedge \forall x R(x)) \end{eqnarray}$ Vermutlich ist das total einfach, wir hatten aber leider nocht nichts davon in der Vorlesung, Übungsaufgaben aber jetzt schon.

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »