Modus tollens
<=>
Inferenzregel