The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x
+16 votes
1.5k views

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

"Every teacher is liked by some student"

  1. $∀(x)\left[\text{teacher}\left(x\right) → ∃(y) \left[\text{student}\left(y\right) → \text{likes}\left(y,x\right)\right]\right]$
  2. $∀(x)\left[\text{teacher}\left(x\right) → ∃(y) \left[\text{student}\left(y\right) ∧ \text{likes}\left(y,x\right)\right]\right]$
  3. $∃(y) ∀(x)\left[\text{teacher}\left(x\right) → \left[\text{student}\left(y\right) ∧ \text{likes}\left(y,x\right)\right]\right]$
  4. $∀(x)\left[\text{teacher}\left(x\right) ∧ ∃(y) \left[\text{student}\left(y\right) → \text{likes}\left(y,x\right)\right]\right]$
asked in Mathematical Logic by Veteran (18k points)
retagged by | 1.5k views
option C. ∃(y)∀(x)[teacher(x)→[student(y)∧likes(y,x)]]

                There is a student y for which every x, if x is a teacher then student y likes teacher x.

option D. ∀(x)[teacher(x)∧∃(y)[student(y)→likes(y,x)]]

                For every teacher x and some y, if y is a student then he likes teacher x.

2 Answers

+23 votes
Best answer

Answer is B. In simpler way we can say If X is a teacher then there exists some Y who is a student and likes X.

A choice:  If X is a teacher, then there exists a Y such that if Y is a student, then Y likes X. 
C choice: There exist a student who likes all teachers.
D choice: Everyone is a teacher and there exists a Y such that if Y is student then y likes X. Assuming one cannot be both student and teacher at same time, this just means, everyone is a teacher. 

 

answered by Loyal (2.8k points)
selected by
Yes. Option C is wrong because it says that all teachers are liked by the SAME student.
please provide the statement equivalent to option D
Added...
sir , i did not understand one thing how to think that " when to use "implication" and when to use "AND" in above type of question...?
When we want to say something "EXIST" we must not use implication but AND, because implication is true even if nothing exist.
* note - gateforum booklet have provided answer c which is wrong.
awesome explanation.. superb.
what if X is not a teacher .. then it is also like by student . Then
Sir, I have an argument,

A) is not answer bcoz it says that if y is a student than all y "for which"

student(y) is true must like all teacher. Is this valid argument for rejecting A)???
@rahul jain25 ya right
∀(x)[teacher(x)→∃(y)[student(y)∧likes(y,x)]]=∀(x)∃(y)[teacher(x)→[student(y)∧likes(y,x)]]

and option c->the given statement  and option b <-> the given statement ..
Let's say there are 30 students in a class and roll no. 10 likes every teacher, now Roll no. 10 is "some" student of that class and he/she likes every teacher so by that thought process isn't Option C also correct @Arjun Sir ?

or does the question say like if there are 3 teachers then Teacher1 is liked by roll no. 5, Teacher2 is liked by Roll No. 10 and Teacher3 is liked by Roll No. 15

or Option C is also correct but Option B is stronger/better answer ?

"Every teacher is liked by some student" is equivalent to If (for all people ) person is the teacher then liked by some student.

Option B say exactly that. But Option D says (for all people ) person is the teacher and liked by some student.

@Rahul Jain25  option A is wrong because with option A, there can arise a chance that even if there is no student, statement can give true. We have at least one student which likes a teacher. in A, we can have a case of no student at all (false -> anything = true )
–2 votes

Student likes which is and relation eliminates option (a) and (d) there is some students therefore ∃(y) it eliminates option c so option b is answer 

answered by Veteran (11.1k points)


Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true

33,646 questions
40,193 answers
114,179 comments
38,666 users