Considerando-se verdadeira a proposição P, é correto concluir que, se Marcos não tem direito a receber os benefícios providos pela associação de moradores de seu condomínio, então, necessariamente, ele não figura no quadro de associados nem está com os pagamentos em dia.