Question 9782 – Programming
February 13, 2024Question 9651 – Programming
February 13, 2024Question 9649 – Programming
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?
Correct Answer: C
Question 33 Explanation:
Note: This is not in gate syllabus. Please ignore this question.
(∀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)]
Subscribe
Login
0 Comments