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