edited by
1,195 views
0 votes
0 votes
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.?

edited by

1 Answer

0 votes
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.

Related questions

2 votes
2 votes
2 answers
2
rahul sharma 5 asked Nov 16, 2017
1,183 views
Consider $F(P), Q(P), L(P)$ denotes statements “Printer $P$ is out of service”, “Print job $P$ is queued” and “Print job $P$ is lost” respectively. Then state...
1 votes
1 votes
2 answers
3