prog

formalize os seguintes enunciados no domínio U formado pelo conjunto de todas as coisas:

(a)Todos os dias está fazendo sol. (xU) (D(x)  S(x))
(b)Em alguns dias não está chovendo. (xU) (D(x) ^ C(x))
(c)Todo dia que não está fazendo sol está chovendo. (xU) ((D(x)  S(x)) C(x))
(d)Segunda-feira fez sol; portanto, vai fazer sol todos os dias. (xU) (s  S(x)) (S(x) D(x))
(e)Se chover algum dia, então vai fazer sol todos os dias. (xU) ((D(x) ^ C(x)) S(x) D(x)) formalize os seguintes enunciados no domínio U formado pelo conjunto de todas as coisas:

(a)Todos os dias está fazendo sol. (xU) (D(x)  S(x))
(b)Em alguns dias não está chovendo. (xU) (D(x) ^ C(x))
(c)Todo dia que não está fazendo sol está chovendo. (xU) ((D(x)  S(x)) C(x))
(d)Segunda-feira fez sol; portanto, vai fazer sol todos os dias. (xU) (s  S(x)) (S(x) D(x))
(e)Se chover algum dia, então vai fazer sol todos os dias. (xU) ((D(x) ^ C(x)) S(x) D(x))

formalize os seguintes enunciados no domínio U formado pelo conjunto de todas as coisas:

(a)Todos os dias está fazendo sol. (xU) (D(x)  S(x))
(b)Em alguns dias não está chovendo. (xU) (D(x) ^ C(x))
(c)Todo dia que não está fazendo sol está chovendo. (xU) ((D(x)  S(x)) C(x))
(d)Segunda-feira fez sol; portanto, vai fazer sol todos os dias. (xU) (s  S(x)) (S(x) D(x))
(e)Se chover algum dia, então vai fazer sol todos os dias. (xU) ((D(x) ^ C(x)) S(x) D(x))

formalize os seguintes enunciados no domínio U formado pelo conjunto de todas as coisas:

(a)Todos os dias está fazendo sol. (xU) (D(x)  S(x))
(b)Em alguns dias não está chovendo. (xU) (D(x) ^ C(x))
(c)Todo dia que não está fazendo sol está chovendo. (xU) ((D(x)  S(x)) C(x))
(d)Segunda-feira fez sol; portanto, vai fazer sol todos os dias. (xU) (s  S(x)) (S(x) D(x))
(e)Se chover algum dia, então vai fazer sol todos os dias. (xU) ((D(x) ^ C(x)) S(x) D(x))