Indique se a afirmação abaixo é verdadeira ou falsa, justificando sua resposta:
A negação da proposição Se 3 é um número ímpar, então 9 é par é a proposição Se 3 é um número ímpar, então 9 é ímpar.

Passo 1

Beleza, vamos lá! A questão pede para verificar se a afirmação sobre a negação de uma proposição lógica é verdadeira ou falsa. A matéria envolvida aqui é Lógica, especificamente a negação de proposições condicionais. Para resolver, vamos precisar entender como negar uma afirmação do tipo “Se A, então B”.

Passo 2

Primeiro, vamos lembrar o que significa uma proposição condicional “Se A, então B”. Isso basicamente diz que sempre que A acontecer, B também acontecerá. Agora, para negar essa proposição, não é tão simples quanto apenas trocar B por não B. A negação correta de “Se A, então B” é “A e não B”. Ou seja, A ocorre e B não ocorre ao mesmo tempo.

Passo 3

Aplicando isso ao nosso exercício: a proposição original é “Se 3 é um número ímpar, então 9 é par”. A negação dessa proposição seria “3 é um número ímpar e 9 não é par”. Mas a afirmação que nos foi dada para verificar é “Se 3 é um número ímpar, então 9 é ímpar”, que não corresponde à negação correta.

Resposta

A afirmação é falsa. A negação correta de “Se 3 é um número ímpar, então 9 é par” é “3 é um número ímpar e 9 não é par”, n��o “Se 3 é um número ímpar, então 9 é ímpar”.

Exercícios relacionados

Mostre que as diagonais de um trapézio iósceles são congruentes.
Considere o seguinte fato:
Se três retas paralelas determinam segmentos congruentes sobre uma transversal, então determinam segmentos congruentes sobre qualquer outra transversal.
Utilizando o fato acima e o Teorema da Localização de Pontos, apresente um método para dividir um segmento em partes congruentes.
Usando somente os axiomas de incidência e de ordem, assim como os resultados deduzidos desses axiomas, prove que uma reta não pode estar contida no interior de um triângulo.
Um subconjunto do plano é convexo se o segmento ligando quaisquer dois de seus pontos está totalmente nele contido. Os exemplos mais simples de conjuntos convexos são o próprio plano e qualquer semiplano. Mostre que a interseção de dois semiplanos é um conjunto convexo.