Escreva cada uma das proposições a seguir em linguagem natural, decida seu valor lógico no universo de discurso
determine sua negação.
f)
f)
Passo 1
Vamos entender o que a questão está pedindo. Estamos trabalhando com lógica de predicados e precisamos interpretar uma proposição matemática. Para resolver, vamos:
- Traduzir a proposição dada para linguagem natural.
- Determinar se ela é verdadeira ou falsa no conjunto dos números naturais (
). - Encontrar a negação dessa proposição.
Passo 2
A proposição
pode ser traduzida para a linguagem natural da seguinte forma:
“Existe um número natural tal que todo número natural
é maior ou igual a
.”
“Existe um número natural
Passo 3
Agora, vamos decidir o valor lógico dessa proposição no universo dos números naturais. Isso significa verificar se realmente existe um número natural
que satisfaz a condição de que todo
é maior ou igual a
.
Vamos analisar:
- Se escolhermos
, então para todo , é sempre verdadeiro, já que os números naturais começam em 0 e não são negativos.
Portanto, a proposição é verdadeira no conjunto dos números naturais (
).
Passo 4
Vamos determinar a negação da proposição original. A negação de uma proposição do tipo
é
.
Aplicando isso à nossa proposição:
- Negação de
é .
Em linguagem natural:
“Para todo número natural , existe um número natural
que é menor que
.”
“Para todo número natural
Resposta
- Linguagem natural: “Existe um número natural
tal que todo número natural é maior ou igual a .” - Valor lógico em
: Verdadeira. - Negação: “Para todo número natural
, existe um número natural que é menor que .”
Exercícios relacionados
Demonstre os seguintes teoremas a respeito de números inteiros pelo método que julgar mais adequado:
e) e
têm a mesma paridade se, e somente se,
é par.
e)
Os teoremas a seguir ficam artificiais quando escritos como condicionais. Em cada caso, descreva em linhas gerais o que seria preciso fazer para demonstrá-los.
a) Existe um triângulo retângulo.
a) Existe um triângulo retângulo.
Para cada um dos teoremas a seguir, identifique a hipótese, a tese e, se for o caso, reescreva na forma condicional.
b) O produto de dois números inteiros é zero, desde que um desses números seja zero.
b) O produto de dois números inteiros é zero, desde que um desses números seja zero.
Além de escolha pessoal, a maneira de apresentar teoremas depende da linguagem matemática da época em que foram enunciados pela primeira vez. Os teoremas a seguir são muito conhecidos, mas estão escritos de forma diferente daquela à qual estamos acostumados. Em cada caso, descubra qual é o teorema e reescreva-o na linguagem atual.
a) Se um segmento de reta for dividido aleatoriamente em dois pedaços, o quadrado construído sobre o segmento inteiro é igual aos quadrados sobre os segmentos parciais mais duas vezes os retângulos construídos por esses segmentos. (EUCLIDEs)
a) Se um segmento de reta for dividido aleatoriamente em dois pedaços, o quadrado construído sobre o segmento inteiro é igual aos quadrados sobre os segmentos parciais mais duas vezes os retângulos construídos por esses segmentos. (EUCLIDEs)