Question

Sejam dadas as seguinte senteças:

p = "Vc pode votar"
q = "Voce tem menos de 18 anos de idade"
r = "Voce é de Marte"

a) Traduza a setença seguinte para simbolos de logica formal.

Voce nao pode votar se tem menos de 18 anos de idade ou se voce é de Marte

b) De a reciproca dessa sentaça em simbolos de logica formal.

c) De a reciproca em portugues

d) De um contra exemplo para a reciproca

Answer 1

a) Vamos reescrever a sentença lógica para uma forma conhecida.

"Se Você tem menos de 18 anos de idade ou se Você é de Marte, então Você não pode votar."

Ou seja, temos que:

Se q v r, então p <=> (q v r) -> p

b) A recíproca dessa sentença é a troca dos termos da implicação:

Por ex: A -> B, tem como recíproca: B -> A

Logo, p -> (q v r) é a recíproca.

c) Em português ficaria:

"Se você pode votar, então ou você é de Marte ou você tem menos de 18 anos."

d) Uma pessoa que mora na Terra e tem mais de 18 anos pode votar. Se ela pode votar, então deveria ser de Marte ou ter menos de 18 anos (o que é contraditório).