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?