Anular proposicoes verdadeiras se houver errada