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

MEMBERSHIP REQUIRED !