Translate the following English sentence to FirstOrder Logic

Translate the following English sentence to First-Order Logic:

Joe: a person named Joe

Actor: the occupation of being an actor

Doctor: the occupation of being a doctor

Lawyer: the occupation of being a lawyer

Surgeon: the occupation of being a surgeon

Occupation(x, y): person x has occupation y

Customer(x, y): person x is a customer of person y

Boss(x, y): person x is a boss of person y

Joe is an actor, but he also holds another job.

Solution

Joe is an actor, but he also holds another job. It can be represented by:

Occupation(Joe, Actor) ^ ( Occupation(Joe, Doctor) V Occupation(Joe, Surgeon) V Occupation(Joe, Lawyer) )