(∀d) [(DEPENDENT(d) AND d.ssn=e.ssn AND (d.ssn="M′))→d.age>30)
I HOPE IT'S MISTAKENLY TYPED. AND THE ORIGINAL ONE
(∀d) [ DEPENDENT(d) AND d.ssn=e.ssn AND ( (d.sex='M′) → ( d.age>30) ) ]
it means all dependents of a employee
WHO ARE MALE should have their age as grater than 30 ( p->q form ) ------> satisfied by Shyam,ravi, sita
or it can be read as
have their age less than 30 then they should not Male Dependents ( ~q->~p form ) ------> satisfied by Shyam,ravi, sita
if you didn't understand ===> recall p->q in preposition logic where it's truth value should be TRUE
∴ Option B is right