Consider the following predicates: Student(x): x is a student of this class Visited(x, y): x visited y Learnt(x,y): x has learnt y ProgL(x): x is a programming language Taken(x,y): x has taken y OfferedBy(x.y): x is offered by y Course(x): x is a course Department(x): x is department Play(x,y): x plays y Sport(x): x is a sport. Express the following statements in predicate logic using given predicates. 1. Some student in this class has visited Mumbai but has not visited Kerala 2. All students in this class have learnt at least one programming language. 3 There is a student in this class who has taken every course offered by one of the departments in this school. 4. Every Student in this class plays some sport.

Consider the following predicates: Student(x): x is a student of this class Visited(x, y): x visited y Learnt(x,y): x has learnt y ProgL(x): x is a programming language Taken(x,y): x has taken y OfferedBy(x.y): x is offered by y Course(x): x is a course Department(x): x is department Play(x,y): x plays y Sport(x): x is a sport. Express the following statements in predicate logic using given predicates. 1. Some student in this class has visited Mumbai but has not visited Kerala 2. All students in this class have learnt at least one programming language. 3 There is a student in this class who has taken every course offered by one of the departments in this school. 4. Every Student in this class plays some sport.

Elements Of Modern Algebra

8th Edition

ISBN:9781285463230

Author:Gilbert, Linda, Jimmie

Publisher:Gilbert, Linda, Jimmie

Chapter1: Fundamentals

Section1.4: Binary Operations

Problem 14E: Assume that is a binary operation on a non empty set A, and suppose that is both commutative and...

See similar textbooks