Raciocínio Lógico — Equivalência condicional

Esta é uma questão de forma lógica, não de requisitos jurídicos reais. P → Q equivale a não Q → não P: troca a ordem e nega os dois lados. Como aplicar Defina P = há mandado; Q = diligência autorizada. A contrapositiva é ¬Q → ¬P. Não confunda com Q → P, que só inverte sem negar.