Was ist umgekehrt, kontrapositiv und umgekehrt?

Bedingte Aussagen tauchen überall auf. In der Mathematik oder anderswo dauert es nicht lange, bis Sie auf etwas in der Form „Wenn P. dann Q.. ” Bedingte Aussagen sind in der Tat wichtig. Wichtig sind auch Anweisungen, die sich durch Ändern der Position von auf die ursprüngliche bedingte Anweisung beziehen P., Q. und die Negation einer Aussage. Ausgehend von einer ursprünglichen Aussage erhalten wir drei neue bedingte Aussagen, die als Converse, Contrapositive und The bezeichnet werden invers.

Bevor wir das Gegenteil, Kontrapositive und Inverse einer bedingten Aussage definieren, müssen wir das Thema der Negation untersuchen. Jede Aussage in Logik ist entweder wahr oder falsch. Die Negation einer Aussage beinhaltet einfach das Einfügen des Wortes "nicht" im richtigen Teil der Aussage. Das Hinzufügen des Wortes "nicht" erfolgt so, dass der Wahrheitsstatus der Aussage geändert wird.

Es wird hilfreich sein, sich ein Beispiel anzusehen. Die Aussage „Die rechtwinkliges Dreieck ist gleichseitig “hat Negation„ Das rechtwinklige Dreieck ist nicht gleichseitig. “ Die Negation von "10 ist eine gerade Zahl" ist die Aussage "10 ist keine gerade Zahl". Natürlich dafür Im letzten Beispiel könnten wir die Definition einer ungeraden Zahl verwenden und stattdessen sagen, dass „10 eine ungerade Zahl ist“. Wir stellen fest, dass die Wahrheit einer Aussage das Gegenteil von der der ist Negation.

Wir werden diese Idee in einem abstrakteren Rahmen untersuchen. Wenn die Aussage P. ist wahr, die Aussage „nicht P." ist falsch. Ebenso wenn P. ist falsch, seine Negation “nichtP." ist wahr. Negationen werden üblicherweise mit einer Tilde ~ bezeichnet. Also anstatt zu schreiben „nicht P.”Wir können schreiben ~P..

Jetzt können wir das Gegenteil, das Kontrapositive und das Inverse einer bedingten Aussage definieren. Wir beginnen mit der bedingten Aussage „If P. dann Q..”

• Die Umkehrung der bedingten Aussage lautet „If Q. dann P..”
• Das Gegenteil der bedingten Aussage ist „Wenn nicht Q. dann nicht P..”
• Die Umkehrung der bedingten Anweisung lautet „Wenn nicht P. dann nicht Q..”

Wir werden anhand eines Beispiels sehen, wie diese Aussagen funktionieren. Angenommen, wir beginnen mit der bedingten Aussage: "Wenn es letzte Nacht geregnet hat, ist der Bürgersteig nass."

• Die Umkehrung der bedingten Aussage lautet: "Wenn der Bürgersteig nass ist, hat es letzte Nacht geregnet."
• Das Gegenteil der bedingten Aussage ist: "Wenn der Bürgersteig nicht nass ist, hat es letzte Nacht nicht geregnet."
• Die Umkehrung der bedingten Aussage lautet: "Wenn es letzte Nacht nicht geregnet hat, ist der Bürgersteig nicht nass."

Wir mögen uns fragen, warum es wichtig ist, diese anderen bedingten Aussagen aus unserer ursprünglichen zu bilden. Ein genauer Blick auf das obige Beispiel zeigt etwas. Angenommen, die ursprüngliche Aussage „Wenn es letzte Nacht geregnet hat, ist der Bürgersteig nass“ ist wahr. Welche der anderen Aussagen muss auch wahr sein?

• Die Umkehrung „Wenn der Bürgersteig nass ist, hat es letzte Nacht geregnet“ ist nicht unbedingt wahr. Der Bürgersteig könnte aus anderen Gründen nass sein.
• Die Umkehrung „Wenn es letzte Nacht nicht geregnet hat, ist der Bürgersteig nicht nass“ ist nicht unbedingt wahr. Nur weil es nicht geregnet hat, heißt das noch lange nicht, dass der Bürgersteig nicht nass ist.
• Das kontrapositive „Wenn der Bürgersteig nicht nass ist, hat es letzte Nacht nicht geregnet“ ist eine wahre Aussage.

Was wir aus diesem Beispiel sehen (und was mathematisch bewiesen werden kann), ist, dass eine bedingte Aussage den gleichen Wahrheitswert hat wie ihre kontrapositive. Wir sagen, dass diese beiden Aussagen logisch äquivalent sind. Wir sehen auch, dass eine bedingte Anweisung nicht logisch äquivalent zu ihrer Umkehrung und Umkehrung ist.

Da eine bedingte Aussage und ihr Kontrapositiv logisch äquivalent sind, können wir dies zu unserem Vorteil nutzen, wenn wir mathematische Theoreme beweisen. Anstatt die Wahrheit einer bedingten Aussage direkt zu beweisen, können wir stattdessen die indirekte Beweisstrategie verwenden, um die Wahrheit des Kontrapositivs dieser Aussage zu beweisen. Kontrapositive Beweise funktionieren, denn wenn das Kontrapositive aufgrund der logischen Äquivalenz wahr ist, ist auch die ursprüngliche bedingte Aussage wahr.

Es stellt sich heraus, dass obwohl die converse und inverse entsprechen nicht logisch der ursprünglichen bedingten Anweisungsind sie logisch äquivalent zueinander. Dafür gibt es eine einfache Erklärung. Wir beginnen mit der bedingten Aussage „If Q. dann P.”. Das Gegenteil dieser Aussage ist „Wenn nicht P. dann nicht Q.. ” Da die Umkehrung das Gegenteil der Umkehrung ist, sind die Umkehrung und die Umkehrung logisch äquivalent.