Modus tollens

Contoh lain: