BuK/IIm20/Vorlesung 7 Thomas

Wiki-Quelltext dieser Seite.

== Übungsaufgabe, VL S.18 ==
Beweisen sie mittels Aussagenlogik $A \wedge B \rightarrow C \Leftrightarrow \neg C \wedge B \rightarrow \neg A$.

Der Beweis kann in Form einer Wahrheitstabelle erbracht werden. Dabei werden die folgenden Variabeln genutzt:

$A: P'$  ist entscheidbar

$B: P$  ist reduzierbar auf $P'$

$C: P$  ist entscheidbar


Als gegeben kann dabei nach Satz 1 betrachtet werden dass:

$A \wedge B \Rightarrow C$

zu beweisen ist:

$\neg C \wedge B \Rightarrow \neg A$


Beweis:
[[Bild:St52pybu_Buk7_1.jpg]]