Ex. 1.14 - Transcreva as seguintes proposições para a forma simbólica:
Para todo número inteiro ímpar n, existe um número inteiro k tal que n=2 k+1.

Passo 1

O enunciado pede para traduzir em linguagem de quantificadores a frase “Para todo número inteiro ímpar n, existe um número inteiro k tal que n=2k+1”. O conteúdo é lógica de primeira ordem com quantificadores e o domínio é o conjunto dos inteiros Z.

Passo 2

1. Definimos o predicado Ímpar(n)Í para representar “ n é ímpar”.
2. Como o domínio de ambas as variáveis é Z, usamos forall n in Z e exists k in Z.
3. A tradução fica:
forall n in Z , l(Ímpar(n) ;; exists k in Z ,(n = 2k + 1)r) Í

Resposta

forall ninZ,l(Ímpar(n);;exists kinZ,(n = 2k + 1)r) Í

Exercícios de Livros Relacionados