Modus tollens

Aturan kesimpulan "modus tollens" memvalidasi kesimpulan dari P berarti Q dan kontradiktif dari Q untuk kontradiktif dari .Pformula_1