Questão FC670471
O CREF22-ES possui um sistema de protocolos sequenciais para os seus processos e adota as seguintes regras administrativas: “Se o profissional não pagar a anuidade, será suspenso”
Lógica de Proposições
QUADRIX · 2025
O CREF22-ES possui um sistema de protocolos sequenciais para os seus processos e adota as seguintes regras administrativas: “Se o profissional não pagar a anuidade, será suspenso” e “Todo profissional suspenso não pode exercer a profissão legalmente”.
Com base nessa situação hipotética, julgue o item a seguir. A negação da proposição “Se não pagar a anuidade, será suspenso” é “Não paga a anuidade e não é suspenso”.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Considere A = "não paga a anuidade" e B = "é suspenso". A afirmação "Se não pagar a anuidade, será suspenso" é um condicional lógico escrito \(A \to B\).
Para negar um condicional, mantemos o antecedente e negamos o consequente, unindo-os por conjunção. Em forma simbólica: \(\neg(A \to B)\equiv A \land \neg B\).
Aplicando ao caso: a negação é \(A \land \neg B\), que em linguagem corrente é "Não paga a anuidade e não é suspenso". Portanto o julgamento CERTO está correto.
Conteúdo do catálogo FC Concursos · Atualizado em