Beispiele
Beispiel:
Schon die Aussage \(A\) ist bereits eine widerlegbare Aussage, da sie den Wahrheitswert "falsch" annehmen kann.
\(\qquad\) | \(\begin{array}{|c|c|c|c|c|c|c|c|} \hline A \ \\ \hline \mathrm{w}\ \\ \mathrm{f}\ \\ \hline\end{array}\) |
Beispiel:
Die Aussage
\(\qquad\) | \(A \land \lnot A\) |
ist eine widerlegbare Aussage – sie ist sogar eine Kontradiktion – da jede Belegung von \(A\) mit wahr oder falsch eine falsche Aussage liefert.
\(\qquad\) | \(\begin{array}{|c|c|c|c|c|c|c|c|} \hline A &\hspace{-0.8em} & \lnot A & A \land \lnot A \ \\ \hline \mathrm{w}&\hspace{-0.8em}& \mathrm{f} &\mathrm{f} \ \\ \hline \mathrm{f}&\hspace{-0.8em}&\mathrm{w} &\mathrm{f} \ \\ \hline\end{array}\) |
Merke:
Jede Kontradiktion ist eine widerlegbare Aussage, aber nicht jede widerlegbare Aussage ist eine Kontradiktion.
Beispiel:
Die Aussage
\(\qquad\) | \(A \lor \lnot A\) |
ist keine widerlegbare Aussage, da jede Belegung von \(A\) mit wahr oder falsch eine wahre Aussage liefert. Diese Aussage ist sogar eine Tautologie.
\(\qquad\) | \(\begin{array}{|c|c|c|c|c|c|c|c|} \hline A &\hspace{-0.8em} & \lnot A & A \lor \lnot A \ \\ \hline \mathrm{w}&\hspace{-0.8em}& \mathrm{f} &\mathrm{w} \ \\ \hline \mathrm{f}&\hspace{-0.8em}&\mathrm{w} & \mathrm{w} \ \\ \hline\end{array}\) |
Erklärung Lösung: Ja, die Formel ist widerlegbar. Erläuterung: Wir zeigen die Widerlegbarkeit der Formel durch eine Wahrheitstabelle.
Da mindestens eine Belegung der Aussagen \(A\) und \(B\) zu einer falschen Aussage der Formel führt, ist die Formel widerlegbar. |
\(\enspace\)