A afirmação 'Se a porta está aberta (P), então a luz está acesa (Q)' tem como equivalente lógica: