Aussagenlogik, Aussagen negieren

05.11.2020, 23:37

3rdtimesacharm

Aussagenlogik, Aussagen negieren

Guten Abend,

könntet ihr mir bitte behilflich sein beim Verständnis der Aussagenlogik? "Abstrakt" und mit Wahrheitstafeln verstehe ich die Herangehensweise, aber bei folgenden beiden Aussagen tue ich mir schwer sie richtig zu negieren.

Zitat:

Der Laptop von Hans läuft unter Windows und steht im Sekretariat."

negiert: "Der Laptop von Hans steht entweder im Sekretariat oder er läuft unter Windows."

Zitat:

$\begin{eqnarray*} -1 \leq x \leq +3 \end{eqnarray*}$

$\begin{eqnarray*} \equiv -1 \leq x \wedge x \leq +3 \end{eqnarray*}$

negiert: $\begin{eqnarray*} -1 \leq x \vee x \leq +3 \end{eqnarray*}$

Danke für eure Hilfe! Wink

06.11.2020, 07:04

zweiundvierzig

Auf diesen Beitrag antworten »

Sei $\begin{eqnarray*} \varphi := p \land q \end{eqnarray*}$ . Dann ist $\begin{eqnarray*} \lnot \varphi = \ldots \end{eqnarray*}$

06.11.2020, 08:00

G061120

Auf diesen Beitrag antworten »

In Worten:
Es ist nicht der Fall, das der Laptop im Sekretariat steht und unter Windows läuft

d.h. der Laptop steht entweder nicht im S. oder läuft nicht unter Windows

06.11.2020, 08:47

3rdtimesacharm

Auf diesen Beitrag antworten »

Hallo,

kurze Frage zu Beginn: Wie kann ich mehrere Beiträge zitieren? Wenn ich auf "Zitat" klicke komme ich immer direkt zu Antwort erstellen.

Zitat:

Original von zweiundvierzig
Sei $\begin{eqnarray*} \varphi := p \land q \end{eqnarray*}$ . Dann ist $\begin{eqnarray*} \lnot \varphi = \ldots \end{eqnarray*}$

Dann ist $\begin{eqnarray*} \lnot \varphi = \lnot p \vee \lnot q \end{eqnarray*}$

Müssen dann einfach nur noch Klammern und ein $\begin{eqnarray*} \lnot \end{eqnarray*}$ jeweils um die Terme?

06.11.2020, 08:48

3rdtimesacharm

Auf diesen Beitrag antworten »

Zitat:

Original von G061120
In Worten:
Es ist nicht der Fall, das der Laptop im Sekretariat steht und unter Windows läuft

d.h. der Laptop steht entweder nicht im S. oder läuft nicht unter Windows

Dankeschön! smile

06.11.2020, 09:30

Steffen Bühler

Auf diesen Beitrag antworten »

Willkommen im Matheboard!

Zitat:

Original von 3rdtimesacharm
Wie kann ich mehrere Beiträge zitieren?

Nur "zu Fuß" bzw. mit dem Button "Zitat einfügen". Du holst Dir also den betreffenden Satz mit copy&paste raus und kleidest ihn in Quote-Tags.

Viele Grüße
Steffen

07.11.2020, 09:59

zweiundvierzig

Auf diesen Beitrag antworten »

Zitat:

Original von G061120
In Worten:
Es ist nicht der Fall, das der Laptop im Sekretariat steht und unter Windows läuft

d.h. der Laptop steht entweder nicht im S. oder läuft nicht unter Windows

Nein, sondern: "Der Laptop steht nicht im Sekretariat oder er läuft nicht unter Windows".

Das Entweder ist fehl am Platz.

Neue Frage »

Antworten »

Aussagenlogik, Aussagen negieren

Verwandte Themen