Print Page | Close Window

CS 2005 Q 41 first order predicate calculus Printed From: One Stop GATE Category: GATE Previous Years Test Papers - Discuss Here Forum Name: CS Papers Forum Discription: Computer Science Previous Year GATE Papers to can discussed here. URL: http://forum.onestopgate.com/forum_posts.asp?TID=117 Printed Date: 07Feb2025 at 11:02am Topic: CS 2005 Q 41 first order predicate calculus Posted By: Adhiti Subject: CS 2005 Q 41 first order predicate calculus Date 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 ?

Print Page | Close Window