Hallo
Eine Implikation und das Kontrapositive dieser Implikation sind ja logisch equivalent. Also
(p —> q) = (~q —> ~p)
was nicht logisch equivalent ist, ist
(p —> q) = (~p —> ~q)
Jetzt frag ich mich, ob die Aussage
(p —> q) —> (~p —> ~q) ein Wiederspruch ist, eine Tautologie, oder eine eigene Aussage, ich komm aber nicht weiter. Meine Intuition sagt, dass es ein wiederspruch ist, weil beide aussagen ja nicht logisch equivalent sind, man kann nicht von dem einen auf das andere schliessen, oder? Hilfe, Hilfe, Hilfe
LG