Definition einer widerlegbaren Aussage
Definition:
Eine Formel \(\alpha\) heißt widerlegbar, wenn es mindestens eine Kombination an Wahrheitswerten für die in die Formel eingehenden Aussagen gibt, so dass \(\alpha\) falsch wird.
Beispiel:
Wir betrachten die folgende komplexe Aussage:
\(\qquad\) | Wenn der Hahn kräht auf dem Mist, dann ändert sich das Wetter nicht. |
Diese komplexe Aussage setzt sich aus den einfachen Aussagen wie folgt zusammen:
\(\qquad\) | \(A\) | \(\enspace : \enspace\) | Der Hahn kräht auf dem Mist. |
\(B\) | \(\enspace : \enspace\) | Das Wetter ändert sich. |
Mit dieser Notation lässt sich die komplexe Aussage dann durch
\(\qquad\) | \(A \implies (\lnot B)\) |
darstellen.
Um zu zeigen, dass diese Aussage widerlegbar ist, bilden wir die Wahrheitstabelle:
\(\qquad\) | \(\begin{array}{|c|c|c|c|c|c|c|c|} \hline A&B&\hspace{-0.8em}& \lnot B& A \implies (\lnot B) \ \\ \hline \mathrm{w}&\mathrm{w}&\hspace{-0.8em}&\mathrm{f}& \mathrm{f}\ \\ \hline \mathrm{w}&\mathrm{f}&\hspace{-0.8em}&\mathrm{w}&\mathrm{w}\ \\ \hline \mathrm{f}&\mathrm{w}&\hspace{-0.8em}&\mathrm{f}&\mathrm{w}\ \\ \hline \mathrm{f}&\mathrm{f}&\hspace{-0.8em}&\mathrm{w}&\mathrm{w}\ \\ \hline\end{array}\) |
Wir sehen, dass die komplexe Aussage widerlegbar ist, da der Wahrheitswert falsch in der rechten Spalte mindestens einmal vorkommt.
\(\enspace\)