Write the following statement in firstorder logic For every

Write the following statement in first-order logic- For every dog that has fleas, there is a person who loves it\".

Solution

\"for every dog that has fleas ,there is a person who loves it\"

x - dog ; y- person

x (fleas(x)) => loves(y))

it shows for every dog(x) that has fleas it implies there is person(y) who loves it .