///
Considere as proposições lógicas P e Q, a seguir, a respeito de um condômino chamado Marcos.
• P: “Se Marcos figura no quadro de associados e está com os pagamentos em dia, então ele tem direito a receber os benefícios providos pela associação de moradores de seu condomínio.”
• Q: “Marcos não figura no quadro de associados, mas ele está com os pagamentos em dia.”
A proposição P é equivalente à proposição “Se Marcos tem direito a receber os benefícios providos pela associação de moradores de seu condomínio, então ele figura no quadro de associados e está com os pagamentos em dia.”.