GATE CSE
First time here? Checkout the FAQ!
x
0 votes
44 views
Represent using logic connectives :-

1. "Whenever there is an active alert, all queued messages are transmitted."

Given answer is :-∃x(Alert(x)∧Active(x))→∀y((Message(y)∧Queued(y))→Transmitted(y))

2. Purple mushrooms are poisonous

∀x( purple(x)∧mushroom(x)→ Poisonous(x) )

I need to ask that in first statement why are we using ∃x instead of ∀ in the beginning . I mean it should be same as If there is an active alert then do XYZ.Like in second statement. If i use ∀ in the begriming then it will become "For every object x in universe if x is an active alert then queued messages are transmitted". What is wrong in this?

so ∀(Alert(x) ^ Active(x) -> XYZ).

Why are we using  ∃ in the start.?

asked ago in Mathematical Logic by Loyal (4.8k points)  
edited ago by | 44 views

1 Answer

0 votes
"Whenever there is an active alert, all queued messages are transmitted."

Whenever -> Condition Statement.

There is... -> Existential condition.

All -> Universal condition.

So it becomes:

"If there is an active alert, all queued messages are transmitted" -> If there exists an alert which is active, then if for every message which is queued then the message is transmitted."

I translated the conditional and quantifiers perfectly, there may be some mistake in English but that's not important.

answered ago by (29 points)  


Top Users Jun 2017
  1. Bikram

    3694 Points

  2. Hemant Parihar

    1484 Points

  3. junaid ahmad

    1432 Points

  4. Arnab Bhadra

    1372 Points

  5. Niraj Singh 2

    1311 Points

  6. Rupendra Choudhary

    1194 Points

  7. rahul sharma 5

    1114 Points

  8. Arjun

    930 Points

  9. srestha

    922 Points

  10. Debashish Deka

    896 Points

Monthly Topper: Rs. 500 gift card
Top Users 2017 Jun 19 - 25
  1. Bikram

    1950 Points

  2. Niraj Singh 2

    1306 Points

  3. junaid ahmad

    502 Points

  4. sudsho

    410 Points

  5. akankshadewangan24

    388 Points


23,353 questions
30,061 answers
67,357 comments
28,378 users