Use os seguintes símbolos de predicados para traduzir para a linguagem simbólica do Cálculo de Predicados, cada uma das seguintes afirmações:
Questão-03. Ex: x é um estudante-piloto / Ix: x é instrutor / Cx: x é uma cidade / Vxyz: x pilota um avião para y acompanhado de z
a) Algum estudante-piloto pilota um avião para alguma cidade acompanhado por um instrutor.
b) Nem todos os instrutores que pilotam aviões para alguma cidade acompanhados de um instrutor são estudantes-pilotos.
c) Algum estudante-piloto que voa para todas as cidades sem companhia é um instrutor.
Questão-03. Ex: x é um estudante-piloto / Ix: x é instrutor / Cx: x é uma cidade / Vxyz: x pilota um avião para y acompanhado de z
a) Algum estudante-piloto pilota um avião para alguma cidade acompanhado por um instrutor.
b) Nem todos os instrutores que pilotam aviões para alguma cidade acompanhados de um instrutor são estudantes-pilotos.
c) Algum estudante-piloto que voa para todas as cidades sem companhia é um instrutor.
Passo 1
Resumimos o que precisamos fazer: traduzir para o Cálculo de Predicados usando os símbolos
: “
é estudante-piloto”
: “
é instrutor”
: “
é cidade”
: “
pilota um avião para
acompanhado de
”
Em cada enunciado vamos identificar quem é quantificado e quais predicados combinamos.
Em cada enunciado vamos identificar quem é quantificado e quais predicados combinamos.
Passo 2
Enunciado (a): “Algum estudante-piloto pilota um avião para alguma cidade acompanhado por um instrutor.”
Tradução: existe um estudante-piloto , uma cidade
e um instrutor
tais que
pilota para
com acompanhante
.
Tradução: existe um estudante-piloto
Passo 3
Enunciado (b): “Nem todos os instrutores que pilotam aviões para alguma cidade acompanhados de um instrutor são estudantes-pilotos.”
Identificamos o predicado restritivo:
E “nem todos são estudantes-pilotos” vira a negação de um universal-implicação.
Identificamos o predicado restritivo:
E “nem todos são estudantes-pilotos” vira a negação de um universal-implicação.
Passo 4
Enunciado (c): “Algum estudante-piloto que voa para todas as cidades sem companhia é um instrutor.”
Temos: existe tal que é estudante-piloto, é instrutor, e para toda cidade
não existe acompanhante
.
Temos: existe
Resposta
(a)
(b)
(c)
(b)
(c)