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.?