One Stop GATE Forum: CS 2005 Q 41 first order predicate calculus

Message

   What is the first order predicate calculus statement equivalent tothe following? 

Every teacher is liked by some student 

A : for All

E : there exist

(a) A(x)[teacher(x) -> E(y) [student(y) -> likes(y,x)]] 

(b) A(x)[teacher(x) -> E(y)[student(y) ^ likes(y,x)]] 

(c) E(y)A(x)[teacher(x) -> [student(y) ^ likes(y,x)]] 

(d) A(x)[teacher(x) ^ E(y)[student(y) -> likes(y,x)]] 

I want to know what is difference bet option b and c

can any one please define meaning of b and c ?

Author	Message
Adhiti Newbie Joined: 02Feb2007 Online Status: Offline Posts: 32	Topic: CS 2005 Q 41 first order predicate calculus Posted: 02Feb2007 at 10:50am
	What is the first order predicate calculus statement equivalent tothe following? Every teacher is liked by some student A : for All E : there exist (a) A(x)[teacher(x) -> E(y) [student(y) -> likes(y,x)]] (b) A(x)[teacher(x) -> E(y)[student(y) ^ likes(y,x)]] (c) E(y)A(x)[teacher(x) -> [student(y) ^ likes(y,x)]] (d) A(x)[teacher(x) ^ E(y)[student(y) -> likes(y,x)]] I want to know what is difference bet option b and c can any one please define meaning of b and c ? Post Resume: Click here to Upload your Resume & Apply for Jobs

	IP Logged


One Stop GATE Forum : GATE Previous Years Test Papers - Discuss Here : CS Papers