...
Question 14699 – DSSSB PGT 2018 Male
February 11, 2024
Question 11524 – APPSC-2012-DL-CS
February 11, 2024
Question 14699 – DSSSB PGT 2018 Male
February 11, 2024
Question 11524 – APPSC-2012-DL-CS
February 11, 2024

Question 9439 – Propositional-Logic

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

   Every teacher is liked by some student  

Correct Answer: B

Question 27 Explanation: 
Option A: If x is a teacher, then there exist a y such that if y is a student , then y likes x.
Option B: If x is a teacher, then there exists some y, who is a student and like x. (✔️)
Option C: There exists a student who likes all teachers.
Option D: If x is a teacher and then there exists some y, if y is a student then y likes x.
A
∀(x) [teacher(x) → ∃ (y) [student(y) → likes (y, x)]]
B
∀(x) [teacher(x) → ∃ (y) [student(y) ∧ likes (y, x)]]
C
∃(y) ∀(x) [teacher(x) → [student(y) ∧ likes (y, x)]]
D
∀(x) [teacher(x) ∧ ∃ (y)[student(y) → likes (y, x)]]
0 0 votes
Article Rating
Subscribe
Notify of
0 Comments
Inline Feedbacks
View all comments
0
Would love your thoughts, please comment.x
()
x
error: Alert: Content selection is disabled!!