Aussagenlogik/Viele Variablen/Aufgabe

Es seien ${}p,q,r,s,t,u$ Aussagenvariablen. Zeige, dass die Aussage

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?

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.