You are given the formula xyz (R(x, y) ^ S(z, x) S(z, y)) where R...

Transcribed Image Text:

You are given the formula xyz (R(x, y) ^ S(z, x) → S(z, y)) where R and S are both predicates with two arguments. Question 6.1 Show that the formula is satisfiable by constructing a non-mathematical model where the formula is true. Question 6.2 Show that the formula is not valid by constructing a non-mathematical model where the formula is false. For questions 6.1 and 6.2, use the set of people as the universe of concrete values, and use different human relations as the interpretations of the predicates. Explain why your model shows that the formula has the required property. You are given the formula xyz (R(x, y) ^ S(z, x) → S(z, y)) where R and S are both predicates with two arguments. Question 6.1 Show that the formula is satisfiable by constructing a non-mathematical model where the formula is true. Question 6.2 Show that the formula is not valid by constructing a non-mathematical model where the formula is false. For questions 6.1 and 6.2, use the set of people as the universe of concrete values, and use different human relations as the interpretations of the predicates. Explain why your model shows that the formula has the required property.

Answer rating: 100% (QA)

Question 61 To show that the formula Vx Vy Vz Rx y Sz x Sz y is satisfiable we can construct a nonma... View the full answer