Sejam dadas as seguintes sentenças:
“Tem água nos cilindros.”
“A junta do cabeçote está vazando.”
“O carro vai pegar.”
(a) Traduza a sentença seguinte para símbolos de lógica formal.
Se a junta do cabeçote está vazando e tem água no cilindro, então o carro não vai pegar.
(b) Traduza a seguinte sentença formal para o português comum:
(a) Traduza a sentença seguinte para símbolos de lógica formal.
(b) Traduza a seguinte sentença formal para o português comum:
Passo 1
O enunciado dá três proposições simples:
: “Tem água nos cilindros.”
: “A junta do cabeçote está vazando.”
: “O carro vai pegar.”
O conteúdo é lógica proposicional: parte (a) pede tradução de português para símbolos lógicos (uso de conjunção e implicação); parte (b) pede tradução de símbolos para português (uso de implicação e negação sobre uma conjunção interna).
O conteúdo é lógica proposicional: parte (a) pede tradução de português para símbolos lógicos (uso de conjunção e implicação); parte (b) pede tradução de símbolos para português (uso de implicação e negação sobre uma conjunção interna).
Passo 2
Para (a), a frase “Se a junta do cabeçote está vazando e tem água no cilindro, então o carro não vai pegar” tem a forma “Se
e
, então não
”. Em lógica proposicional isso se escreve
Passo 3
Para (b), a fórmula dada é
Lemos passo a passo:
– Antecedente : “O carro vai pegar.”
– Consequente : “Não é verdade que (a junta do cabeçote está vazando e não tem água nos cilindros).”
Portanto, em português comum:
“Se o carro vai pegar, então não é verdade que a junta do cabeçote esteja vazando e não haja água nos cilindros.”
– Antecedente
– Consequente
Portanto, em português comum:
“Se o carro vai pegar, então não é verdade que a junta do cabeçote esteja vazando e não haja água nos cilindros.”
Resposta
(a)
(b) Se o carro vai pegar, então não é verdade que a junta do cabeçote esteja vazando e não haja água nos cilindros.
(b) Se o carro vai pegar, então não é verdade que a junta do cabeçote esteja vazando e não haja água nos cilindros.