Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Aussagenlogik/Viele Variablen/Aufgabe
Sprache
Beobachten
Bearbeiten
Es seien
p
,
q
,
r
,
s
,
t
,
u
{\displaystyle {}p,q,r,s,t,u}
Aussagenvariablen. Zeige, dass die Aussage
p
∨
(
p
→
(
r
∧
¬
s
∧
(
(
u
→
p
)
∨
(
q
→
¬
s
)
)
)
)
{\displaystyle p\vee {\left(p\rightarrow {\left(r\wedge \neg s\wedge {\left({\left(u\rightarrow p\right)}\vee {\left(q\rightarrow \neg s\right)}\right)}\right)}\right)}}
eine Tautologie ist. Ist eine Wahrheitstabelle hier sinnvoll?
Zur Lösung
,
Alternative Lösung erstellen