mostrar texto associado
A negação da especificação P é logicamente equivalente à proposição “A luz não permanece acesa se, e somente se, não há movimento ou há claridade natural suficiente no recinto”.