Marcos de Castro
EQUIPE
23/10/2025 • 03:26
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.
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.