• K: the domain of inhabitants of the Koprulu sector of the Milky Way galaxy; • T(1): inhabitant z belongs to the Terran race; • Z(r): inhabitant z belongs to the Zerg race; • P(r): inhabitant z belongs to the Protoss race; • W(z): inhabitant z is a worker; • (r): inhabitant z is a soldier; • (r): inhabitant z is invisible; • A(r, y): inhabitant z attacked inhabitant y; • F(r, y): inhabitant z befriended inhabitant y. 3. Using the same definitions as in the previous question, translate each of the following predicate logic statements into English. Try to make your English translations as natural sounding as possible. These statements appear long, but try to break them into smaller cohesive pieces.

Operations Research : Applications and Algorithms
4th Edition
ISBN:9780534380588
Author:Wayne L. Winston
Publisher:Wayne L. Winston
Chapter19: Probabilistic Dynamic Programming
Section19.4: Further Examples Of Probabilistic Dynamic Programming Formulations
Problem 7P
icon
Related questions
Question
K: the domain of inhabitants of the Koprulu sector of the Milky Way galaxy;
• T(x): inhabitant z belongs to the Terran race;
• Z(r): inhabitant a belongs to the Zerg race;
• P(z): inhabitant r belongs to the Protoss race;
• W(r): inhabitant r is a worker;
S(r): inhabitantr is a soldier;
• I(2): inhabitant r is invisible;
• A(r, y): inhabitant z attacked inhabitant y;
• F(x, y): inhabitant r befriended inhabitant y.
3.
Using the same definitions as in the previous question, translate each of the
following predicate logic statements into English. Try to make your English translations
as natural sounding as possible. These statements appear long, but try to break them
into smaller cohesive pieces.
a. Vw e K, (T(w) AW(w))-(3p E K, P(p) A S(p) ^ I(p) A A(p, w)).
b. 3k € K,3r € K,k + rA T(k) A T(r) A F(k,r) A F(r, k) ^ (Vz € K, Z(2) → A(z, k)).
It e K,T(t) A W(t) A ar € K, 3y E K, I + y A Z(1)AW(x) A Z(y) A
W (y) A A(t, r) A A(t, y) A (Vw E K, (r + w Ay # w AZ(w) AW(w))~ A(t, w))
С.
2.
Transcribed Image Text:K: the domain of inhabitants of the Koprulu sector of the Milky Way galaxy; • T(x): inhabitant z belongs to the Terran race; • Z(r): inhabitant a belongs to the Zerg race; • P(z): inhabitant r belongs to the Protoss race; • W(r): inhabitant r is a worker; S(r): inhabitantr is a soldier; • I(2): inhabitant r is invisible; • A(r, y): inhabitant z attacked inhabitant y; • F(x, y): inhabitant r befriended inhabitant y. 3. Using the same definitions as in the previous question, translate each of the following predicate logic statements into English. Try to make your English translations as natural sounding as possible. These statements appear long, but try to break them into smaller cohesive pieces. a. Vw e K, (T(w) AW(w))-(3p E K, P(p) A S(p) ^ I(p) A A(p, w)). b. 3k € K,3r € K,k + rA T(k) A T(r) A F(k,r) A F(r, k) ^ (Vz € K, Z(2) → A(z, k)). It e K,T(t) A W(t) A ar € K, 3y E K, I + y A Z(1)AW(x) A Z(y) A W (y) A A(t, r) A A(t, y) A (Vw E K, (r + w Ay # w AZ(w) AW(w))~ A(t, w)) С. 2.
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 1 images

Blurred answer
Knowledge Booster
Computational Systems
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Operations Research : Applications and Algorithms
Operations Research : Applications and Algorithms
Computer Science
ISBN:
9780534380588
Author:
Wayne L. Winston
Publisher:
Brooks Cole