Gleichwertige Kontraposition?
Ea gilt folgende Implikation für die natürlichen Zahlen a,b,c:
a|b und b|c —> a|c
lautet die gleichwertige Kontraposition dann so?
a teilt nicht c , dann gilt: a teilt nicht b und b teilt nicht c?
1 Antwort
Nutzer, der sehr aktiv auf gutefrage ist
Hallo,
Die Struktur der Aussage ist ja folgende: (A und B) => C .
Die Kontraposition davon ist : ¬C => ¬(A und B) , und
¬(A und B) <=> ¬A oder ¬B
Insgesamt lautet die Kontraposition also:
¬C => ¬A oder ¬B , oder konkret: a∤c => a∤b oder b∤c
Gruß