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
edited ago | 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)

+1 vote
1 answer
1
0 votes
2 answers
2
0 votes
1 answer
3