Aufgabe:
Was können Sie aus den folgenden Prämissen über die Aussagevariable \( X \) durch logisches Schließen aussagen? Geben Sie bei jedem Schluss die verwendete Prämisse an:
\( (\mathrm{P} 1) \neg U \vee Z \)
\( (\mathrm{P} 2) Z \rightarrow \neg V \)
\( (\mathrm{P} 3) \neg U \vee \neg X \rightarrow W \)
\( (\mathrm{P} 4) W \vee \neg U \rightarrow V \)
\( (\mathrm{P} 5) \quad X \rightarrow \neg Z \)
Problem/Ansatz:
Mein Ansatz ist es nach und nach die Variablen ineinander einzusetzen, aber stimmt das?
