Matemática — Raciocínio Lógico

Pedro, após visitar uma aldeia distante, afirmou: "Não é verdade que todos os aldeôes daquela aldeia não dormem a sesta". A condição necessária e suficiente para que a afirmação de Pedro seja verdadeira é que seja verdadeira a seguinte proposição: