Question

Considerando p o enunciado "os preços subiram" e q o enunciado "Os salários são justos, traduza para a linguagem corrente às seguintes proposições (sem se preocupar com o sentido). A) p . q B)~ p v q C) p => ~ q D) q<=>p E) (p . q) => ~ q

Answer 1

Vamos traduzir um a um segundo os conectivos do cálculo proposicional clássico.

Sendo p: "Os preços subiram", q: "Os salários são justos", então

a) p ∧ q
"Os preços subiram e os salários são justos"

b)(~p v q)
"Não é o caso que os preços subiram ou os salários são justos" 

c) p => ~ q
"Se os preços subiram, então não é o caso que os salários são justos"

d) q<=>p
"Os preços subiram se e somente se os salários são justos"

e) (p ∧ q) => ~ q
"Se os preços subiram e os salários são justos, então não é o caso que os salários são justos"