Vorlesung 7 Thomas
Aus ProgrammingWiki
Ü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 Czu beweisen ist:
\neg C \wedge B \Rightarrow \neg ABeweis:
