Creating equivalent expressions by changing the domains and predicatesI'm having trouble finding a third way to make a logical expression.Translate this statement into a logical expression in 3 different ways by varying the domain and by using predicates with one and with two variables.Someone in your school has visited MexicoI've made 2 translations:Domain = person in your school C ( x ) = x has visited Mexico ∃ x C ( x )Domain = people in the world S ( x ) = x in your school ∃ x ( S ( x ) ∧ C ( x ) )Yet I don't know what to change to create a third translation.

Question

Creating equivalent expressions by changing the domains and predicatesI&#039;m having trouble finding a third way to make a logical expression.Translate this statement into a logical expression in 3 different ways by varying the domain and by using predicates with one and with two variables.Someone in your school has visited MexicoI&#039;ve made 2 translations:Domain = person in your school  C  (  x  )  =  x has visited Mexico      ∃    x  C  (  x  )Domain = people in the world  S  (  x  )  =  x in your school      ∃    x  (  S  (  x  )  ∧  C  (  x  )  )Yet I don&#039;t know what to change to create a third translation.

vrtuljakc6 · Accepted Answer

Step 1Domain = all objects  S  (  x  )  :=  x is a person in your schoolStep 2  M  (  x  )  :=  x is Mexico  V  (  x  ,  y  )  :=  x has visited y      ∃    x      ∃    y              (        S  (  x  )  ∧  M  (  y  )  ∧  V  (  x  ,  y  )            )