At the time of writing this question, it is not yet known whether or not TYis the champion at IEM Katowice 2021. Nonetheless, consider the following domain andpredicates:• 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 asVu 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 Protosswho are triends with one another.c. Any Zerg who befriended a Protoss gets attacked by all Zerg who be-friended no one.

Name: At the time of writing this question, it is not yet known whether or
Uploaded: 2024-03-05T11:52:21.000Z
Channel: Bartleby
Description: At the time of writing this question, it is not yet known whether or not TYis the champion at IEM Katowice 2021. Nonetheless, consider the following domain andpredicates:• K: the domain of inhabitants of the Koprulu sector of the Milky Way galaxy;•