in Programming closed by
3,029 views
5 votes
5 votes
closed with the note: Out of syllabus now

Consider the following logic program P

$\begin{align*} A(x) &\gets B(x,y), C(y) \\ &\gets B(x,x) \end{align*}$

Which of the following first order sentences is equivalent to P?

  1. $(\forall  x) [(\exists y) [B(x,y) \land C(y)] \Rightarrow A(x)] \land \neg (\exists x)[B(x,x)]$

  2. $(\forall  x) [(\forall y) [B(x,y) \land C(y)] \Rightarrow A(x)] \land \neg (\exists x)[B(x,x)]$

  3. $(\forall  x) [(\exists y) [B(x,y) \land C(y)] \Rightarrow A(x)] \vee \neg (\exists x)[B(x,x)]$

  4. $(\forall  x) [(\forall y) [B(x,y) \land C(y)] \Rightarrow A(x)] \land  (\exists x)[B(x,x)]$

in Programming closed by
3.0k views

4 Comments

thanx god
1
1
Bhagwan ka lakh lakh Shukra h ....
6
6
out of syllabus for 2021 gate.
0
0
Answer:

Related questions