1 votes 1 votes Which of the following is a correct predicate logic statement for “Every Natural number has one successor”? $\forall x \exists y (succ(x,y) \wedge (\exists z\; succ(x, z) \Rightarrow equal (y,z)))$ $\forall x \exists y (succ(x,y) \vee (\exists z\; succ(x, z) \Rightarrow equal (y,z)))$ $\exists x \forall y (succ(x,y) \wedge (\exists z\; succ(x, z) \Rightarrow equal (y,z)))$ $\forall x \exists y (succ(x,y))$ Mathematical Logic first-order-logic ugcnetcse-sep2013-paper3 + – Sanjay Sharma asked Apr 19, 2016 • edited May 28, 2020 by soujanyareddy13 Sanjay Sharma 2.6k views answer comment Share Follow See all 0 reply Please log in or register to add a comment.
Best answer 3 votes 3 votes Successor of a number 'X' is that number which is very next to 'X'. ∀x∃y (succ(x, y) ∧ (∃z succ(x, z) ⇒ equal (y, z))) Digvijay Pandey answered Apr 19, 2016 • selected Apr 19, 2016 by srestha Digvijay Pandey comment Share Follow See 1 comment See all 1 1 comment reply abhishek14893 commented Aug 27, 2018 reply Follow Share what is wrong in ∀x∃y (succ(x, y) ∧ (∀z succ(x, z) ⇒ equal (y, z))) and is there is difference between exactly one and one? 0 votes 0 votes Please log in or register to add a comment.