Modus tollens

Persyaratan:Perhatikan contoh: