Question asks to express this proposition using predicates connectives and quantifiers:
When there is less than 30 megabytes free on the hard drive , a warning message is sent to all users
My solution:
H(m):less than m megabyte free on the hard disk drive
W(x): a warning message is sent to user x
H(30) → ∀x W(x)
Is this solution right?