Question

5) Seja p a proposição “Está frio” e q a proposição “Está chovendo”. Traduzir para a linguagem corrente as seguintes proposições: a) ¬p b) p ∧ q c) p V q d) q ↔ p e) p → ¬q f) q v ¬p g) ¬p ∧ ¬q h) p → ¬q i) ¬¬q

Answer 1

p = Está frio.

q = Está chovendo.

 

a) O símbolo "¬" significa negação, então podemos escrever:

"Não está frio"

"É falso que esteja frio"

 

b) O símbolo "∧" significa "conjunção", por isso podemos escrever:

"Está frio e está chovendo"

 

c) O símbolo "∨" significa "disjunção", por isso:

"Está frio ou está chovendo"

 

d) O símbolo "$<var>\leftrightarrow</var>$" implica bicondicional:

"Estará chovendo se e somente se estiver frio"

 

e) O simbolo "$<var>\rightarrow</var>$" indica "se... então" e depois há a negação na outra proposição, por isso:

"Se está frio, então não está chovendo"

 

f) Como já vimos, "∨" é "disjunção":

"Está chovendo ou não está frio"

 

g) Há a "∧" conjunção e negação nas duas frases:

"Não está frio e não está chovendo"

 

h) Igual a E.

 

i) Negação duas vezes:

"É falso que não está chovendo" ou seja "Está chovendo"

Answer 2

Resposta:

p = Está frio.

q = Está chovendo.

 

a) O símbolo "¬" significa negação, então podemos escrever:

"Não está frio"

"É falso que esteja frio"

 

b) O símbolo "∧" significa "conjunção", por isso podemos escrever:

"Está frio e está chovendo"

 

c) O símbolo "∨" significa "disjunção", por isso:

"Está frio ou está chovendo"

 

d) O símbolo "" implica bicondicional:

"Estará chovendo se e somente se estiver frio"

 

e) O simbolo "" indica "se... então" e depois há a negação na outra proposição, por isso:

"Se está frio, então não está chovendo"

 

f) Como já vimos, "∨" é "disjunção":

"Está chovendo ou não está frio"

 

g) Há a "∧" conjunção e negação nas duas frases:

"Não está frio e não está chovendo"

 

h) Igual a E.

 

i) Negação duas vezes:

"É falso que não está chovendo" ou seja "Está chovendo"

Explicação: