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

Gabarito

Certo

Comentário do professor

Identifique as proposições: seja p "Marcos figura no quadro de associados" e q "Marcos está com os pagamentos em dia".

A sentença Q afirma que Marcos não figura e está com os pagamentos em dia, ou seja, simbolicamente \( \neg p \land q \). A partícula "mas" funciona como conjunção, portanto Q é uma conjunção.

A negação do condicional \( q \to p \) é obtida mantendo o antecedente e negando o consequente, resultando em \( q \land \neg p \). Em lógica, \( q \to p \) é falsa somente quando \(q\) é verdadeira e \(p\) é falsa, exatamente o caso descrito por \( q \land \neg p \).

Pelo caráter comutativo da conjunção, \( \neg p \land q \) é equivalente a \( q \land \neg p \). Assim, Q coincide com a negação de "Se Marcos está com os pagamentos em dia, então ele figura no quadro de associados", razão pela qual o item foi julgado CERTO.