Creating equivalent expressions by changing the domains and predicatesI'm having trouble finding a third way...

2d3vljtq

2d3vljtq

Answered

2022-07-15

Creating equivalent expressions by changing the domains and predicates
I'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 Mexico
I'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.

Answer & Explanation

vrtuljakc6

vrtuljakc6

Expert

2022-07-16Added 16 answers

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

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get your answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?