I have this exercise from Artificial Intelligence: A Modern Approach:
I wrote this solution and I would like to know if I made any mistakes:
a) Occupation(Emily,Surgeon) V Occupation(Emily, Lawyer). b) Occupation(Joe,Actor) ∧ ∃x( Occupation(Joe,x) ∧ x≠Actor ) c) ∀x ( Occupation(x,Surgeon) -> Occupation (x,Doctor) ) d) ∀x Customer(Joe,x) -> ( ∀y Occupation(x,y) -> y≠Lawyer ) e) ∃x Boss(x,Emily) ∧ Occupation(x,Lawyer) f) ∃x Occupation(x,Lawyer) ∧ (∀y Customer(y,x) -> Occupation(y,Doctor)) g) ∀x Occupation(x,Surgeon) -> ∃y (Occupation(y,Lawyer) ∧ Customer(x,y) )
Besides, how can I check if my translation is correct (some kind of counter proof)?