Aussagenlogik

06.11.2010, 16:25	bandchef	Auf diesen Beitrag antworten »
Aussagenlogik Hi Leute! Ich hab folgende Aussage die ich mathematisch formulieren möchte: Alle Arbeitnehmer, die monatlich mehr als 400€ verdienen oder in mehr als einem Arbeitsverhältnis stehen, zahlen Lohnsteuer. Wichtige Prädikate in diesem Satz dich in der Aussage abkürze: Alle Arbeitnehmer=A die monatlich mehr als 400€ verdienen=M in mehr als einem Arbeitsverhältnis stehen=V Lohnsteuer=L Meine Idee: $\begin{eqnarray} \forall x \in Ax(Mx \vee Vx) \rightarrow Lx) \end{eqnarray}$ Stimmt das soweit? Jetzt möchte ich es verneinen: $\begin{eqnarray} \neg(\forall x \in Ax(Mx \vee Vx) \rightarrow Lx)) \end{eqnarray}$ $\begin{eqnarray} \exists x \in Ax(Mx \wedge Vx) \rightarrow Lx)) \end{eqnarray}$ Negation in einem Satz ausgedrückt: Es existiert mindestens ein Arbeitnehmer der monatlich mehr als 400€ verdient, in mehr als einem Arbeitsverhältnis steht und Lohnsteuer zahlt. Stimmt das soweit? Könnt ihr mir helfen?

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »