Modus tollens

dimana formula_13 and formula_14 ini adalah proposisi yang diungkapkan dalam sebuah sistem;