Assume the following predicates: studies(r, Computing) studies (z. Art) first Year(r) learns(r, Racket) learns(z, Java)
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
Assume the following predicates: studies(r, Computing) studies (z. Art) first Year(r) learns(r, Racket) learns(z, Java)
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)