Prädikatenlogik Quantoren

04.07.2016, 15:14	Quantor2	Auf diesen Beitrag antworten »
Prädikatenlogik Quantoren Meine Frage: X=Y Alle Studenten. Für x aus X, y aus Y sei P(x) = x hat die Aufgabe nicht gelöst. Q (x,y) = x und y sind in unterschiedlichen Gruppen Formuliere a) Jeder Student ist in einer Übungsgruppe, aus der mindestens ein Student die Übungsaufgabe gelöst hat. b) Es gibt zwei Studenten, die in derselben Übungsgruppe sind und beide dieÜbungsaufgabe gelöst haben. c) Es gibt einen Studenten, in dessen Übungsgruppe kein Student die Übungsaufgabe gelöst hat. Meine Ideen: Ich versuchs mal: a) $\begin{eqnarray} \forall x \end{eqnarray}$ $\begin{eqnarray} \forall y \end{eqnarray}$ nicht Q(x, y) $\begin{eqnarray} \exists x \end{eqnarray}$ nicht P(x) b) $\begin{eqnarray} \exists x \end{eqnarray}$ $\begin{eqnarray} \exists y \end{eqnarray}$ nicht Q(x, y) $\begin{eqnarray} \exists x \end{eqnarray}$ nicht P(x) c) $\begin{eqnarray} \exists x \end{eqnarray}$ $\begin{eqnarray} \exists y \end{eqnarray}$ nicht Q(x, y) nicht $\begin{eqnarray} \exists x \end{eqnarray}$ P(x) // nicht $\begin{eqnarray} \exists x \end{eqnarray}$ = keiner

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »