Questão-04. Traduza cada um dos seguintes enunciados para a linguagem simbólica.
Alguns inteiros são pares, alguns são ímpares. Nenhum inteiro é par e ímpar. Se um inteiro é par o seu sucessor é ímpar; se um inteiro é ímpar o seu sucessor é par.
Ix: x é inteiro / Px: x é par / Ix: x é ímpar / Sxy: x é sucessor de y
Alguns inteiros são pares, alguns são ímpares. Nenhum inteiro é par e ímpar. Se um inteiro é par o seu sucessor é ímpar; se um inteiro é ímpar o seu sucessor é par.
Passo 1
Estamos traduzindo frases sobre inteiros, pares, ímpares e sucessor para a lógica de predicados.
Domínio: tudo o que quisermos (por isso usamos para “
é inteiro”).
Predicados:
: “
é inteiro”
: “
é par”
: “
é ímpar”
: “
é sucessor de
”
Regras de tradução:
“Alguns”
“Nenhum”
(ou
)
“Se ··· então”
“E”
Domínio: tudo o que quisermos (por isso usamos
Predicados:
Regras de tradução:
Passo 2
“Alguns inteiros são pares”
“Alguns inteiros são ímpares”
Passo 3
“Nenhum inteiro é par e ímpar”
Passo 4
“Se um inteiro é par, o seu sucessor é ímpar”
“Se um inteiro é ímpar, o seu sucessor é par”
Resposta
(a)
(b)
(c)
(d )
(d )
(b)
(c)
(d
(d