Marcos de Castro
31/12/1969 • 21:00
Gabarito: a)
A afirmação dada é: "Se um sapo é verde, então não come minhoca". Em lógica, essa é uma proposição condicional do tipo "se P, então Q".
Aqui, P é "um sapo é verde" e Q é "não come minhoca".
A negação do Q é "come minhoca". A contrapositiva da proposição condicional é "se não Q, então não P". Ou seja, "se um sapo come minhoca, então não é verde".
A contrapositiva é logicamente equivalente à proposição original, ou seja, tem o mesmo valor de verdade.
As outras alternativas não representam a contrapositiva correta. Por exemplo, a inversa "se não P, então não Q" não é necessariamente verdadeira, nem a recíproca "se Q, então P".
Portanto, a única conclusão logicamente correta a partir da afirmação dada é a alternativa a).
A afirmação dada é: "Se um sapo é verde, então não come minhoca". Em lógica, essa é uma proposição condicional do tipo "se P, então Q".
Aqui, P é "um sapo é verde" e Q é "não come minhoca".
A negação do Q é "come minhoca". A contrapositiva da proposição condicional é "se não Q, então não P". Ou seja, "se um sapo come minhoca, então não é verde".
A contrapositiva é logicamente equivalente à proposição original, ou seja, tem o mesmo valor de verdade.
As outras alternativas não representam a contrapositiva correta. Por exemplo, a inversa "se não P, então não Q" não é necessariamente verdadeira, nem a recíproca "se Q, então P".
Portanto, a única conclusão logicamente correta a partir da afirmação dada é a alternativa a).