Modus tollens

<=> Inferenzregel