Wie negiere/verneine ich diese Aussage

05.12.2021, 17:19	GuestUser21	Auf diesen Beitrag antworten »
Wie negiere/verneine ich diese Aussage Meine Frage: Hallo, ich hab unten ein Beispiel für welches ich eine Verneinung bilden muss. Kann mir vielleicht jemand erklären wie ich bei Ausdrücken wie hier oben eine passende Verneinung bilde. Wäre echt super. Danke! Für folgende Aussage muss eine Verneinung gebildet werden: es existiert mindestens ein x (umgekehrtes e) für alle y (Trichtersymbol) , (A(x,y) daraus folgt B(x,y)) Leider kann ich keine Symbole anzeigen, ich hoffe das geht trotzdem. Meine Ideen: Um ehrlich zu sein fällt mir hier kein Ansatz ein, daher bräuchte ich dringend Hilfe.
05.12.2021, 17:44	Leopold	Auf diesen Beitrag antworten »
Verwende die folgenden Regeln (der dreifache Querstrich stehe für die logische Gleichwertigkeit): All- und Existenzquantor $\begin{align} \neg \left( \forall \, x \ \mathcal{E}(x) \right) \ \equiv \ \exists \, x \ \neg \mathcal{E}(x) \end{align}$ $\begin{align} \neg \left( \exists \, x \ \mathcal{E}(x) \right) \ \equiv \ \forall \, x \ \neg \mathcal{E}(x) \end{align}$ Konjunktion und Adjunktion (Regeln von de Morgan) $\begin{align} \neg \left( A \wedge B \right) \ \equiv \ \neg A \vee \neg B \end{align}$ $\begin{align} \neg \left( A \vee B \right) \ \equiv \ \neg A \wedge \neg B \end{align}$ Implikation $\begin{align} A \rightarrow B \ \equiv \ \neg A \vee B \end{align}$

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »