0 Daumen
1,8k Aufrufe

hallo zusammen,

ich muss die Formel: p → (q → r) umschreiben. Wir wissen, dass  ϕ → ψ als Abkürzung für ¬ϕ ∨ ψ zu verstehen ist.

Kann ich nun p → (q → r) umformen zu ¬p ∨ (¬q ∨ r) ?


Avatar von

ja und die klammer kannst du in einem zusätzlichen schritt entfernen

1 Antwort

+1 Daumen

Hallo matheuzs,

 deine Umformung ist richtig und die Klammer kannst du wegen des Assoziativgesetzes für  ∨  weglassen.

Gruß Wolfgang

Avatar von 86 k 🚀

Hallo Wolfgang,

vielen Dank und wie ist es denn mit: (p → q) → (p → r)

Kann ich nun diesen umformen zu ¬(p → q) ∨ (p → r) und ¬(¬p ∨ q) ∨ (¬p ∨ r)

wie löse ich ¬(¬p ∨ q)  auf

Die Vereinfachungen sind richtig und alle Terme sind gleichwertig mit  ¬ p ∨ ¬ q ∨ r

¬(¬p ∨ q)   ist aussagenlogisch gleichwertig mit  p ∧ ¬ q   (Regel von de Morgan)

Ein anderes Problem?

Stell deine Frage

Ähnliche Fragen

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community