Sejam dadas as seguintes sentenças:
p = “Você pode votar.”
“Você tem menos de 16 anos de idade.”
“Você é de Marte.”
a) Traduza a sentença seguinte para símbolos de lógica formal. Você não pode votar se tem menos de 16 anos de idade ou se você é de Marte.
b) Dê a recíproca dessa sentença em símbolos de lógica formal.
c) Dê a recíproca de b) em Português.
p = “Você pode votar.”
a) Traduza a sentença seguinte para símbolos de lógica formal. Você não pode votar se tem menos de 16 anos de idade ou se você é de Marte.
b) Dê a recíproca dessa sentença em símbolos de lógica formal.
c) Dê a recíproca de b) em Português.
Passo 1
O enunciado define as proposições
: “Você pode votar.”
: “Você tem menos de 16 anos de idade.”
: “Você é de Marte.”
O conteúdo é tradução de condicional em lógica proposicional, usando negação , disjunção
e implicação
.
O conteúdo é tradução de condicional em lógica proposicional, usando negação
Passo 2
A sentença “Você não pode votar se tem menos de 16 anos de idade ou se você é de Marte” equivale a
Passo 3
A recíproca (converse) de
troca antecedente e consequente, ficando
Passo 4
Traduzindo
de volta para o português:
“Se você não pode votar, então você tem menos de 16 anos de idade ou você é de Marte.”
“Se você não pode votar, então você tem menos de 16 anos de idade ou você é de Marte.”
Resposta
a)
b)
c) Se você não pode votar, então você tem menos de 16 anos de idade ou você é de Marte.
b)
c) Se você não pode votar, então você tem menos de 16 anos de idade ou você é de Marte.