Vorlesung 7 Thomas

Aus ProgrammingWiki

Wechseln zu: Navigation, Suche

Ü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: St52pybu Buk7 1.jpg

Persönliche Werkzeuge