Solved Paper-III On Topic : Solved Paper-III Sept (RE-Test) 2013

Que : 1 . Which of the following is a correct predicate logic statement for “Every Natural number has one successor” ?

	1.	∀x∃y (succ(x, y) ∧ (∃z succ(x, z) ⇒ equal (y, z)))
	2.	∀x∃y (succ(x, y) ∨ (∃z succ(x, z) ⇒ equal (y, z)))
	3.	∃y∀x (succ(x, y) ∧ (∃z succ(x, z) ⇒ equal (y, z)))
	4.	∀x∃y succ (x, y)

Please Select Ans Options .

Explanation

1