Questões Raciocínio Lógico Lógica de Argumentação Diagramas e Operadores Lógicos

Ao se admitir por verdadeira a declaração “Se Paulo é alto, então Gabriela não é alta”,...

Responda: Ao se admitir por verdadeira a declaração “Se Paulo é alto, então Gabriela não é alta”, conclui - se, de maneira correta e necessária, que se


1Q115265 | Raciocínio Lógico, Lógica de Argumentação Diagramas e Operadores Lógicos, Analista de Procuradoria Área de Apoio Calculista, PGE BA, FCC

Ao se admitir por verdadeira a declaração “Se Paulo é alto, então Gabriela não é alta”, conclui - se, de maneira correta e necessária, que se
  1. ✂️
  2. ✂️
  3. ✂️
  4. ✂️
  5. ✂️

💬 Comentários

Confira os comentários sobre esta questão.
Marcos de Castro
Por Marcos de Castro em 31/12/1969 21:00:00
Gabarito: a)

A declaração dada é uma condicional: "Se Paulo é alto, então Gabriela não é alta". Em lógica, isso pode ser representado como P implica Q, onde P = "Paulo é alto" e Q = "Gabriela não é alta".

A negação do consequente (Gabriela não é alta) é "Gabriela é alta". A contrapositiva da condicional é "Se Gabriela é alta, então Paulo não é alto". A contrapositiva é logicamente equivalente à condicional original, ou seja, ambas são verdadeiras ou falsas juntas.

Portanto, a conclusão correta e necessária a partir da declaração original é a alternativa a), que expressa exatamente a contrapositiva.

As outras alternativas não correspondem à contrapositiva nem a uma inferência válida da condicional dada, por isso estão incorretas.

Fazendo uma checagem dupla, a contrapositiva é a única forma logicamente equivalente e correta para concluir a partir da condicional inicial, confirmando que a alternativa a) é o gabarito correto.
⚠️ Clique para ver os comentários

Visualize os comentários desta questão clicando no botão abaixo

Ver comentários
Utilizamos cookies e tecnologias semelhantes para aprimorar sua experiência de navegação. Política de Privacidade.