Which of the following is a correct predicate logic statement for “Every Natural number has one successor”?
A. ∀x∃y (succ(x, y) ∧ (∃z succ(x, z) ⇒ equal (y, z)))
B. ∀x∃y (succ(x, y) ∨ (∃z succ(x, z) ⇒ equal (y, z)))
C. ∃y∀x (succ(x, y) ∧ (∃z succ(x, z) ⇒ equal (y, z)))
D. ∀x∃ysucc (x, y)
Answer:A
Which of the following is a correct predicate logic statement for “Every Natural number has one successor”?
A. ∀x∃y (succ(x, y) ∧ (∃z succ(x, z) ⇒ equal (y, z))) B. ∀x∃y (succ(x, y) ∨ (∃z succ(x, z) ⇒ equal (y, z))) C. ∃y∀x (succ(x, y) ∧ (∃z succ(x, z) ⇒ equal (y, z))) D. ∀x∃ysucc (x, y)