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

Algebra and Trigonometry (6th Edition)
6th Edition
ISBN:9780134463216
Author:Robert F. Blitzer
Publisher:Robert F. Blitzer
ChapterP: Prerequisites: Fundamental Concepts Of Algebra
Section: Chapter Questions
Problem 1MCCP: In Exercises 1-25, simplify the given expression or perform the indicated operation (and simplify,...
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.
Similar questions
Recommended textbooks for you
Algebra and Trigonometry (6th Edition)
Algebra and Trigonometry (6th Edition)
Algebra
ISBN:
9780134463216
Author:
Robert F. Blitzer
Publisher:
PEARSON
Contemporary Abstract Algebra
Contemporary Abstract Algebra
Algebra
ISBN:
9781305657960
Author:
Joseph Gallian
Publisher:
Cengage Learning
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
Algebra And Trigonometry (11th Edition)
Algebra And Trigonometry (11th Edition)
Algebra
ISBN:
9780135163078
Author:
Michael Sullivan
Publisher:
PEARSON
Introduction to Linear Algebra, Fifth Edition
Introduction to Linear Algebra, Fifth Edition
Algebra
ISBN:
9780980232776
Author:
Gilbert Strang
Publisher:
Wellesley-Cambridge Press
College Algebra (Collegiate Math)
College Algebra (Collegiate Math)
Algebra
ISBN:
9780077836344
Author:
Julie Miller, Donna Gerken
Publisher:
McGraw-Hill Education