Zeigen Sie die formale logische Negation:

Question

Aufgabe:

Zeigen Sie die formale logische Negation:

Problem/Ansatz:

Text erkannt:

\( \left[\exists_{n} \in Z_{21} \forall m \in \mathbb{Z}: n \neq 2 m\right] v[n+1 \neq 2 m] \)

Passt das soweit?

Comments

\(\neg (A\lor B ) = \bar{A}\land \bar{B}\) fehlt

---

Du meinst, dass ich muss aus dem "oder" ein "und" machen?

---

Genau ;) \({}{}{}{}{}{}{}{}\)

Answer 1

Du hast die Regel von De Morgan nicht beachtet. Zwischen den

eckigen Klammern muss ein ∧ stehen.