Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — CESPE / CEBRASPE 2023

Raciocínio Lógico – Negação de proposição condicional

Gabarito: Certo (C). A negação de uma proposição condicional "Se A, então B" é "A e não B". Aplicando essa regra à P6, obtém-se exatamente a expressão apresentada no item.

Sejam:

• $p$: "A assinatura do aluno consta da lista de presença do dia da prova."

• $q$: "O aluno fez a prova."

A proposição P6 original é: $\sim p \rightarrow \sim q$ ("Se a assinatura não consta, então o aluno não fez a prova").

A negação de $\sim p \rightarrow \sim q$ é $\sim p \land \sim(\sim q) = \sim p \land q$, ou seja: "A assinatura do aluno não consta da lista de presença do dia da prova e o aluno fez a prova".

A frase proposta é: "a assinatura do aluno não consta da lista de presença do dia da prova, mas o aluno não deixou de fazer a prova". A locução "não deixou de fazer" equivale a "fez". Portanto, a frase representa corretamente a conjunção $\sim p \land q$, que é a negação da condicional original.

✅ CERTO.