# Math Help - Predicate calculus translating sentences

1. ## Predicate calculus translating sentences

Express the following logical expression in regular English

forall(W(x)-> existsy(F(y,x)& L(x,y)))

W(x): Denotes that x is a woman
F(x,y): Denotes that x is the father of y
L(x,y): Denotes that x loves y

2. literal:

For every woman, there is someone who is the father of the woman and the woman loves that particular father

smoothed over: