< Aussagenlogik < Allgemeingültig < 1
Zeige, dass der aussagenlogische Ausdruck
(
r
→
(
p
∧
¬
q
)
)
→
(
¬
p
→
(
¬
r
∨
q
)
)
{\displaystyle {\left(r\rightarrow {\left(p\wedge \neg q\right)}\right)}\rightarrow {\left(\neg p\rightarrow {\left(\neg r\vee q\right)}\right)}}
allgemeingültig
ist
Zur Lösung
,
Alternative Lösung erstellen
This article is issued from
Wikiversity
. The text is licensed under
Creative Commons - Attribution - Sharealike
. Additional terms may apply for the media files.
