A proposição “Se hoje é domingo, então pelo menos uma padaria está fechada” é logicamente equivalente a