- Traduza as seguintes sentenças para a lógica de predicados:
a) Nem toda estrada é perigosa.
b) Se Rex é um cão, ele é fiel a alguém.
c) Alguns filósofos ridicularizam a si mesmo.
d) Nem todo número real é um número racional.
a) Nem toda estrada é perigosa.
b) Se Rex é um cão, ele é fiel a alguém.
c) Alguns filósofos ridicularizam a si mesmo.
d) Nem todo número real é um número racional.
Passo 1
Vamos traduzir sentenças em português para a lógica de predicados. Assumimos o domínio genérico de todos os objetos e predicados:
significa “
é uma estrada”,
significa “
é perigosa”,
significa “
é um cão”,
é uma constante que denota o indivíduo Rex,
significa “
é fiel a
”,
significa “
é filósofo”,
significa “
ridiculariza
”,
e
significam “
é número real” e “
é número racional”, respectivamente.
Passo 2
“Nem toda estrada é perigosa” equivale a “existe pelo menos uma estrada que não é perigosa”. Logo, uma forma natural é:
Passo 3
“Se Rex é um cão, ele é fiel a alguém” é uma implicação com a constante
. Ficamos com:
Passo 4
“Alguns filósofos ridicularizam a si mesmo” significa que há pelo menos um indivíduo
que é filósofo e ridiculariza a si próprio. Portanto:
Passo 5
“Nem todo número real é um número racional” equivale a “existe pelo menos um número real que não é racional”. Assim:
Resposta
a)
b)
c)
d)
b)
c)
d)