Se a proposição AB → C é verdadeira, então a proposição ¬C → ¬(AB) é também verdadeira.
Se a proposição A