GATE CSE
First time here? Checkout the FAQ!
x
+4 votes
626 views

The CORRECT formula for the sentence, "not all Rainy days are Cold" is

  1. $\forall d (\text{Rainy}(d) \wedge \text{~Cold}(d))$
  2. $\forall d ( \text{~Rainy}(d) \to \text{Cold}(d))$
  3. $\exists d(\text{~Rainy}(d) \to \text{Cold}(d))$
  4. $\exists d(\text{Rainy}(d) \wedge \text{~Cold}(d))$
asked in Mathematical Logic by Veteran (77.2k points)  
edited by | 626 views
Is there typo in last option ? please correct it !
corrected.

You Choose UOD(Universe Of Discourse) Correctly , you can answer easily

5 Answers

+11 votes
Best answer

Not all rainy days are cold.

In other words it says "Some rainy days are cold" or "Some rainy days are not cold"
 

Given statement is
~Vd[R(d)->C(d)]
<=>~Vd[~R(d)VC(d)]

<=> ∃ d[R(d) ^ ~C(d)]
D)

 

answered by Loyal (3.7k points)  
selected by
+15 votes
A) No rainy days are cold

B) All non-rainy days are cold

C)Some non-rainy days are cold.

D) Some rainy days are not cold.

option D
answered by Loyal (2.8k points)  
Is option (A) statement correct?
Statement A  shoud be "all days are rainy days and they are not cold "
+2 votes

not all rainy days are cold : meaning "there are some rainy days which are cold" = "some days are rainy and not cold".

∃d{R(d) \scriptstyle \wedge ¬C(d)}

 

ans = option D

answered by Veteran (27.8k points)  
0 votes

(A)∀d(R(d)⋀~C(d)) = d(~(~R(d) V C(d))) (taking negation common)

                                   =∀d(~(R(d)->C(d)))= All days are not Rainy days and also are not Cold

(B)d(~R(d)->C(d))=The day which are not Rainy day are Cold

(C)∃d(~R(d)->C(d))=∃d(R(d)VC(d))=Some day are Rainy days or some days are Cold

(D)∃d(R(d)⋀~C(d))= Some Rainy days are not Cold

                                = ~ (∀d(R(d)->C(d))) (taking negation common)

                                =not all Rainy days are Cold

answered by Veteran (53.8k points)  
edited by
0 votes

(A) Note that (p ∧ ~q) ≡ ~(p -> q). So it means rainy day to cold implication is false for all days. Which means non-rainy days are cold. (B) For all days, if day is not rainy, then it is cold [Non-Rainy days are cold] (C) There exist some days for which not rainy implies cold. [Some non-rainy days are cold] (D) Note that (p ∧ ~q) ≡ ~(p -> q). So it means rainy day to cold implication is false for some days. Which means not all rainy days are cold.

answered by Loyal (3.2k points)  


Top Users May 2017
  1. akash.dinkar12

    3292 Points

  2. pawan kumarln

    1652 Points

  3. sh!va

    1650 Points

  4. Arjun

    1424 Points

  5. Bikram

    1372 Points

  6. Devshree Dubey

    1272 Points

  7. Debashish Deka

    1142 Points

  8. Angkit

    1044 Points

  9. LeenSharma

    904 Points

  10. srestha

    718 Points

Monthly Topper: Rs. 500 gift card
Top Users 2017 May 22 - 28
  1. Bikram

    458 Points

  2. Arnab Bhadra

    402 Points

  3. pawan kumarln

    278 Points

  4. Ahwan

    236 Points

  5. bharti

    194 Points


22,786 questions
29,121 answers
65,184 comments
27,661 users