closed by
878 views
0 votes
0 votes
closed with the note: Doubt cleared
Express below using quantifiers :

"At least one mail message among the non-empty set of messages, can be saved if there is a disk with more than 10 kilobytes of free space"

Answer was given as :

(∃x F(x,10))→∃x S(x)

Where F(x,y) Disk x has more than y kilobytes of free space

S(x) Mail message x can be saved.

Can somebody explain me the solution?
closed by

Related questions

0 votes
0 votes
0 answers
1