Question
The CORECT formula for the sentence, "not all rainy days are cold" is
Answer: Option D
Was this answer helpful ?
Given statement is ~ `forall` d [r (d) `rightarrow` c (d)]
`equiv` ~ `forall` d[ ~ r(d) `or` c (d)]
`equiv` `exists` d[ r (d) `and` ~ c(d)]
(Since p `rightarrow` q `equiv` ~ p `or` q and let r(d) be rainy day, c(d) be cold day)
Was this answer helpful ?
Submit Solution