Assume the following predicates: studies(r, Computing) studies (z. Art) first Year(r) learns(r, Racket) learns(z, Java)
Posted: Tue Jul 12, 2022 8:15 am
Question 5.1 Using quantifiers and the predicates above, define propositions to express the following: 1. All first year students studying Computing learn Racket. 2. Some first year students studying Computing learn Java. 3. First year students that study Art, don't learn Racket. 4. Those who learn Racket talk to others that learn Racket.
Assume the following predicates: studies(r, Computing) studies (z. Art) first Year(r) learns(r, Racket) learns(z, Java) talks(z.y)