Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Aussage/Abstammungsbaum/3/Aufgabe
Sprache
Beobachten
Bearbeiten
Zeichne einen Abstammungsbaum für die Aussage
(
(
(
¬
(
¬
(
p
)
)
)
→
(
¬
(
q
)
)
)
∨
(
¬
(
r
)
)
)
↔
(
(
¬
(
r
)
)
∧
(
q
)
)
.
{\displaystyle (((\neg (\neg (p)))\rightarrow (\neg (q)))\vee (\neg (r)))\leftrightarrow ((\neg (r))\wedge (q)).}
Eine Lösung erstellen
