A proposição P é equivalente à proposição “Se Marcos não figura no quadro de associados ou não está com os pagamentos em dia, então ele não tem direito a receber os benefícios providos pela associação de moradores de seu condomínio.”.