Kontraposition und Umkehrung für andere außer Subjunktion?
Weiß jemand ob es auch Kontrapositionen und Umkehrungen für andere außer die subjunktion gibt (also für konjunktion oder so)?
Weil bei der subjunktion ist die Kontraposition ja aus nicht b folgt nicht a und das ist ja äquivalent zu aus a folgt b. Aber wie ist das wenn man das mit zb einer Konjuktion macht?
Danke
1 Antwort
Na ja, wenn Du so willst, gibt es das bei der Äquivalenz (Bijunktion): "a ist äquivalent zu b" ist äquivalent zu "nicht a ist äquivalent zu nicht b". Das läßt sich aus der Kontrapositionsregel für die materiale Implikation (Subjunktion) folgern.
Bei den anderen Junktoren wüßte ich nicht, was "Kontraposition" überhaupt heißen sollte.
Ja, wie gesagt, höchstens bei der Äquivalenz (=Bijunktion). Da könnte man ja auch schreiben: "a ist äquivalent zu b" ist äquivalent zu "nicht b ist äquivalent zu nicht a". Dann hätte man es wirklich als Kontraposition formuliert, allerdings drückt man es üblicherweise nicht so aus und spricht auch nicht von "Kontraposition" bei der Äquivalenz (=Bijunktion), weil die ja symmetrisch ist. Wenn man in Bezug auf Aussagenlogik von "Kontraposition" spricht, bezieht man sich eigentlich immer auf Implikationen (=Subjunktionen).
Ok danke. Also gibt's die Kontraposition nur bei ner Subjunktion?