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:
A
No máximo um aldeão daquela aldeia não
dorme a sesta.