Equipe Gabarite
EQUIPE
05/10/2026 • 22:02
Vamos trabalhar a representação da frase "Se o contrato não foi assinado, então o pagamento não foi efetuado" usando a lógica proposicional.
Primeiro, temos as proposições p: "O contrato foi assinado", e q: "O pagamento foi efetuado". A frase diz "Se o contrato não foi assinado (...)", ou seja, ¬p. E a consequência é "então o pagamento não foi efetuado", que é ¬q.
Logo, a forma simbólica da implicação é ¬p → ¬q, que significa exatamente "Se não p, então não q".
Analisando as opções, apenas a alternativa c) apresenta ¬p → ¬q, que é a correta.
Portanto, a resposta correta é a alternativa c).
Primeiro, temos as proposições p: "O contrato foi assinado", e q: "O pagamento foi efetuado". A frase diz "Se o contrato não foi assinado (...)", ou seja, ¬p. E a consequência é "então o pagamento não foi efetuado", que é ¬q.
Logo, a forma simbólica da implicação é ¬p → ¬q, que significa exatamente "Se não p, então não q".
Analisando as opções, apenas a alternativa c) apresenta ¬p → ¬q, que é a correta.
Portanto, a resposta correta é a alternativa c).