Ex. 1.14 - Transcreva as seguintes proposições para a forma simbólica:
Para todo número inteiro ímpar
, existe um número inteiro
tal que
.
Para todo número inteiro ímpar
Passo 1
O enunciado pede para traduzir em linguagem de quantificadores a frase “Para todo número inteiro ímpar
, existe um número inteiro
tal que
”. O conteúdo é lógica de primeira ordem com quantificadores e o domínio é o conjunto dos inteiros
.