Any Zerg who befriended a Protoss gets attacked by all Zerg who be- friended no one.

Elementary Geometry For College Students, 7e
7th Edition
ISBN:9781337614085
Author:Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:Alexander, Daniel C.; Koeberlein, Geralyn M.
ChapterP: Preliminary Concepts
SectionP.1: Sets And Geometry
Problem 20E: What relationship subset, intersect, disjoint, or equivalent can be used to characterize the two...
icon
Related questions
icon
Concept explainers
Topic Video
Question
At the time of writing this question, it is not yet known whether or not TY
is the champion at IEM Katowice 2021. Nonetheless, consider the following domain and
predicates:
• K: the domain of inhabitants of the Koprulu sector of the Milky Way galaxy;
• T(1): inhabitant z belongs to the Terran race;
• (r): inhabitant r belongs to the Zerg race;
• P(r): inhabitant z belongs to the Protoss race;
• W(r): inhabitant r is a worker;
• S(x): inhabitant r is a soldier;
• I(r): inhabitant z is invisible;
• A(r, y): inhabitant r attacked inhabitant y;
• F(x, y): inhabitant z befriended inhabitant y.
Translate each of the following English statements into predicate logic. For instance,
Every worker was attacked by some soldier.
would be translated as
Vu E K,W (w)(3s € K, S(s) A A(s, w))
a. Invisible soldiers cannot be attacked by anyone.
b. A soldier who is both Terran and Zerg attacked a Terran and a Protoss
who are triends with one another.
c. Any Zerg who befriended a Protoss gets attacked by all Zerg who be-
friended no one.
Transcribed Image Text:At the time of writing this question, it is not yet known whether or not TY is the champion at IEM Katowice 2021. Nonetheless, consider the following domain and predicates: • K: the domain of inhabitants of the Koprulu sector of the Milky Way galaxy; • T(1): inhabitant z belongs to the Terran race; • (r): inhabitant r belongs to the Zerg race; • P(r): inhabitant z belongs to the Protoss race; • W(r): inhabitant r is a worker; • S(x): inhabitant r is a soldier; • I(r): inhabitant z is invisible; • A(r, y): inhabitant r attacked inhabitant y; • F(x, y): inhabitant z befriended inhabitant y. Translate each of the following English statements into predicate logic. For instance, Every worker was attacked by some soldier. would be translated as Vu E K,W (w)(3s € K, S(s) A A(s, w)) a. Invisible soldiers cannot be attacked by anyone. b. A soldier who is both Terran and Zerg attacked a Terran and a Protoss who are triends with one another. c. Any Zerg who befriended a Protoss gets attacked by all Zerg who be- friended no one.
Expert Solution
steps

Step by step

Solved in 2 steps with 2 images

Blurred answer
Knowledge Booster
Application of Algebra
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, algebra and related others by exploring similar questions and additional content below.
Recommended textbooks for you
Elementary Geometry For College Students, 7e
Elementary Geometry For College Students, 7e
Geometry
ISBN:
9781337614085
Author:
Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:
Cengage,
Calculus For The Life Sciences
Calculus For The Life Sciences
Calculus
ISBN:
9780321964038
Author:
GREENWELL, Raymond N., RITCHEY, Nathan P., Lial, Margaret L.
Publisher:
Pearson Addison Wesley,
Algebra for College Students
Algebra for College Students
Algebra
ISBN:
9781285195780
Author:
Jerome E. Kaufmann, Karen L. Schwitters
Publisher:
Cengage Learning
Elementary Linear Algebra (MindTap Course List)
Elementary Linear Algebra (MindTap Course List)
Algebra
ISBN:
9781305658004
Author:
Ron Larson
Publisher:
Cengage Learning
Algebra: Structure And Method, Book 1
Algebra: Structure And Method, Book 1
Algebra
ISBN:
9780395977224
Author:
Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. Cole
Publisher:
McDougal Littell