Negue as seguintes proposições:
f) Se 2 é par então não é verdade que 3 é par.

Passo 1

Beleza, vamos lá! O enunciado pede para negarmos a proposição: “Se 2 é par então não é verdade que 3 é par.” Isso envolve entender lógica proposicional, especificamente como negar uma declaração do tipo “Se P então Q”. Para resolver, vamos precisar saber o que significa uma proposição condicional e como aplicar a negação nela.

Passo 2

Primeiro, vamos relembrar o que é uma proposição condicional. É uma afirmação do tipo “Se P então Q”, onde P é a hipótese e Q é a conclusão. No nosso caso, P é “2 é par” e Q é “não é verdade que 3 é par”.

Passo 3

Agora, para negar essa proposição condicional “Se P então Q”, usamos uma regra importante da lógica: a negação de “Se P então Q” é “P e não Q”. Em símbolos, isso fica assim:

Passo 4

Aplicando isso ao nosso caso, temos:
  • P: 2 é par.
  • Q: Não é verdade que 3 é par.
Então, a negação será:
Ou seja:
“2 é par e 3 é par.”

Resposta

A negação da proposição é “2 é par e 3 é par”.

Exercícios relacionados

Encontre uma função cujas derivadas parciais são e .
Para as funções u abaixo, verifique que a conclusão do Teorema de Clairaut é válida, isto é, que .
Atribua valores verdades as seguintes proposições:
c) (Não é verdade que 5 é primo) e 4 é par.
Negue as seguintes proposições:
c) 2 é número par não é verdade que 3 é um número ímpar.