0 votes 0 votes Translate into the predicate logic One has to drink water in order to survive D(x) = x drinks water S(x) = x survives Mathematical Logic mathematical-logic discrete-mathematics propositional-logic + – kd..... asked Dec 9, 2018 kd..... 476 views answer comment Share Follow See all 3 Comments See all 3 3 Comments reply Gupta731 commented Dec 9, 2018 reply Follow Share $D(x)$ $\Rightarrow$ $S(x)$ 0 votes 0 votes goxul commented Dec 9, 2018 reply Follow Share The answer should be: there exists no one who didn't drink water and survived. $\neg \exists (\neg D(x) \land S(x))$ 2 votes 2 votes kd..... commented Dec 9, 2018 reply Follow Share @goxul you are right but can you please tell how to determine it i.e when to use S(x) -> D(x) or D(x) -> S(x). As this also being translated as D(x) -> S(x) so it creating confusion 0 votes 0 votes Please log in or register to add a comment.