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

Se A for a proposição Todos os policiais são honestos, então a proposição ¬A estará enunciada corretamente por Nenhum policial é honesto.