Question

)
Baseado no conceito de álgebra booleana e com as proposições simples:

p: São Paulo é poluída

q: Rio de Janeiro é quente

Agora, analise as proposições compostas abaixo:

"Se São Paulo é poluída então Rio de Janeiro não é quente".

"Rio de Janeiro é quente e São Paulo não é poluída".

E traduza as proposições compostas acima para a linguagem lógica, respectivamente:

Alternativas:

a)
( p -> ~q ) E ( q ^ ~p )
b)
( p -> q ) E ( q v ~p )
c)
( p <- ~q ) E ( q ^ p )
d)
( p <- q ) E ( q v p )

Answer 1

D
sao paulo é poluido, e rio de janeiro é quente
sao paulo é poluido é verdade, e rio de janeiro é quente é verdade