Programming
February 13, 2024Programming
February 13, 2024Programming
| Question 42 |
Consider the following logic program P
A(x) <- B(x, y), C(y)
<- B(x,x) Which of the following first order sentences is equivalent to P?
| (∀x) [(∃y) [B(x,y) ∧ C(y)] ⇒ A(x)] ∧ ¬(∃x)[B(x,x)] | |
| (∀x) [(∀y) [B(x,y) ∧ C(y)] ⇒ A(x)] ∧ ¬(∃x)[B(x,x)] | |
| (∀x) [(∃y) [B(x,y) ∧ C(y)] ⇒ A(x)] ∨ ¬(∃x)[B(x,x)] | |
| (∀x) [(∀y) [B(x,y) ∧ C(y)] ⇒ A(x)] ∧ (∃x)[B(x,x)] |
Question 42 Explanation:
Note: This is not in gate syllabus. Please ignore this question.
Correct Answer: C
Question 42 Explanation:
Note: This is not in gate syllabus. Please ignore this question.