Beweis Contradiction Theorem

14.09.2008, 13:28	Nikolas	Auf diesen Beitrag antworten »
Beweis Contradiction Theorem Hallo Ich habe in einer alten Klausur die angehängte Frage gefunden und wollte euch bitten, kurz über meine Lösung zu schauen, weil sie doch sehr kurz ist. $\begin{eqnarray} \Theta \cup \{\phi\} \models \bot \end{eqnarray}$ $\begin{eqnarray} \stackrel{Ded. Th. }{\equiv}\theta \models \phi \Rightarrow \bot \end{eqnarray}$ $\begin{eqnarray} {\equiv}\theta \models \neg \phi \vee \bot \end{eqnarray}$ $\begin{eqnarray} {\equiv}\theta \models \neg \phi \end{eqnarray}$ Ich sehe keinen Fehler, nur bin ich mir etwas unsicher, da man in der Klausur dafür grob10min Zeit hätte.

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »