Questão FC86445
Considere as proposições P1, P2 e P3 a seguir e a conclusão C subsequente. P1: “Se o fiador toma uma decisão que prejudica as finanças do devedor, este fica sem condições de pagar
Lógica de Proposições
CEBRASPE (CESPE) · 2022
P1: “Se o fiador toma uma decisão que prejudica as finanças do devedor, este fica sem condições de pagar a dívida.”
P2: “Se o devedor fica sem condições de pagar a dívida, o fiador é chamado a quitar o débito.”
P3: “Se o fiador é chamado a quitar o débito, suas finanças ficam prejudicadas.”
C: “Se o fiador toma uma decisão que prejudica as finanças do devedor, as finanças do fiador ficam prejudicadas.”
Tendo como referência essas proposições e a referida conclusão, julgue o item a seguir, à luz da lógica sentencial.
“O fiador é chamado a quitar o débito, mas suas finanças não ficam prejudicadas.” é uma maneira adequada de se negar a proposição P3.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
A sentença foi julgada CERTO porque P3 é um condicional: "Se p então q", formalmente \(p \to q\). A forma correta de negar um condicional não é inverter a implicação, mas afirmar que o antecedente ocorre e o consequente não ocorre, isto é, a negação de \(p \to q\) é a conjunção \(p \land \neg q\).
Aplicando a isso, P3 = "Se o fiador é chamado a quitar o débito, suas finanças ficam prejudicadas". Sua negação adequada é: "O fiador é chamado a quitar o débito e suas finanças não ficam prejudicadas". A palavra mas tem o mesmo valor lógico de e, portanto a frase proposta representa precisamente \(p \land \neg q\), confirmando o julgamento.
Conteúdo do catálogo FC Concursos · Atualizado em