Aussagenlogik ►Subjunktion und Implikation ►Identität Nummer 2 (=Kontraposition)