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

1