"a teilt b" und "b teilt c", dann gilt "a teilt c" ?
Kontraposition:
Es gilt nicht "a teilt c", dann gilt nicht ("a teilt b" und "b teilt c").
Die Klammer ist wichtig!!!
Mit dem Satz von DeMorgan kann man das umschreiben zu
Es gilt nicht "a teilt c", dann gilt (nicht "a teilt b") ODER (nicht "b teilt c").
In Normalsprache übersetzt:
Wenn a kein Teiler von c ist, dann ist a kein Teiler von b oder b ist kein Teiler von c.