Creating equivalent expressions by changing the domains and predicates I'm having trouble finding a

2d3vljtq

2d3vljtq

Answered question

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

Beginner2022-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!

New Questions in Discrete math

Ask your question.
Get an expert answer.

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

Didn't find what you were looking for?