5. (12 marks] Consider the following domains and predicates: • S: the set of all CPSC 121 students. • P: the set of all

[answerhappygod]

5 12 Marks Consider The Following Domains And Predicates S The Set Of All Cpsc 121 Students P The Set Of All 1 (276.93 KiB) Viewed 66 times

5. (12 marks] Consider the following domains and predicates: • S: the set of all CPSC 121 students. • P: the set of all pokémon creatures in the Hisui region K(x): student x is registered in Karina's lecture section / x is Karina's student. (~K(2) can be described as x is Geoff's student) • F(x): pokémon x is a fire-type creature. C(x, y): student x captured pokémon y. • B(x, y): student x faced student y in battle / x battled against y. Translate each of the statements below. English statements should be translated into predicate logic, and vice-versa. Make your English statements as natural as you can. For instance, “Every CPSC 121 student caught a pokémon” would be translated as Vs E S, 3p E P, C(s, p). As another example, ~3s e S, C(s, Arceus) would be translated as "There is no CPSC 121 student who caught Arceus”, or simply "No CPSC 121 student caught Arceus”. a. [3 marks] At least two of Geoff's students captured every pokémon in the Hisui region. b. [3 marks] A student who captured every fire-type pokémon battled against every student who caught nothing. c. [3 marks] Væ ES, K(x) +(Ey ES,38 € P,~K(y) ^ F(f)^C(y, f) ^ B(x, y)) d. [3 marks] Ep € P, (Vs € S,~C(s,p)) ^ Vq € P, (~3te S, C(t,q)) +p=q 9