Question

Sejam as proposições P: “Está chovendo”, Q: “O sol está brilhando” e R: “Há nuvens no céu”. Traduza as seguintes sentenças abaixo em notação lógica: 
 
 
a)  “Choverá se o sol brilhar ou se o céu estiver com nuvens”. 
b)  “Se está chovendo, então há nuvens no céu.”  p →q
c)  “O sol brilha quando e apenas quando o céu fica com nuvens.” 

Answer 1

A) (Q∨R) --> P

B) P --> R

C) Q <--> R