Negue as seguintes proposições:
f) Se 2 é par então não é verdade que 3 é par.
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.”
“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.
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.
c) 2 é número par