Raciocínio Lógico — estruturas lógicas (tabela verdade)

A negação da proposição Todos os detentos considerados perigosos são revistados diariamente é equivalente à proposição Nenhum detento perigoso é revistado diariamente.