Pular para o conteúdo

Cebraspe · Tribunal de Contas do Estado do Acre (TCEAC) 2024

Questão 17 — Raciocínio Lógico: Equivalências Lógicas

Raciocínio Lógico Equivalências Lógicas

Cebraspe 2024

Tribunal de Contas do Estado do Acre (TCEAC) · Cargos 6, 7, 8, 9, 10 e 11 · Caderno 993_TCE_AC_CB1_01

Gabarito disponível

Julgue os itens seguintes, relacionados à lógica proposicional, considerando os símbolos lógicos comuns e as letras maiúsculas como representativas de proposições lógicas simples.

A expressão Q ∧ (~P) é equivalente à expressão ~(P → Q).
Selecione uma alternativa

Q∧~P não é equivalente a ~(P→Q), que equivale a P∧~Q.

A negação da condicional é ~(P→Q) ≡ P∧~Q. A expressão Q∧~P tem os papéis de P e Q trocados. Para P=V e Q=F, P∧~Q é V e Q∧~P é F, então as expressões não são equivalentes.

Análise das alternativas

Certo: errada, pois as expressões diferem, por exemplo, quando P=V e Q=F. Errado: correta.

Referência: Negação da condicional: ~(P→Q) ≡ P∧~Q.

Resolução comentada do VaiConcursos.

Ver gabarito

Gabarito: Errado

Fonte: Gabarito preliminar: Gabarito oficial definitivo — Conhecimentos Básicos Cargos 6, 7, 8, 9, 10 e 11