Modus tollens

Juga pada logika predikat tingkat pertama: