edited by
2,435 views
1 votes
1 votes

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

  1. $\forall x \exists y (succ(x,y) \wedge (\exists z\; succ(x, z) \Rightarrow equal (y,z)))$
  2. $\forall x \exists y (succ(x,y) \vee (\exists z\; succ(x, z) \Rightarrow equal (y,z)))$
  3. $\exists x \forall y (succ(x,y) \wedge (\exists z\; succ(x, z) \Rightarrow equal (y,z)))$
  4. $\forall x \exists y (succ(x,y))$
edited by

1 Answer

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)))
selected by
Answer:

Related questions

1 votes
1 votes
0 answers
1
Sanjay Sharma asked Jun 1, 2016
835 views
The tracing model in Prolog describes program execution in terms of certain events. These events arecall and exitcall and failcall, exit and redocall, exit, redo and fail...
2 votes
2 votes
1 answer
3
go_editor asked Jul 24, 2016
1,216 views
Match the following for Windows Operating System $:$$\begin{array}{} \text{(a)} & \text{Hardware} & \text{(i)} & \text{Starting all processes, emulation of different} \\...
1 votes
1 votes
1 answer
4
go_editor asked Jul 24, 2016
1,296 views
The portion of Windows 2000 operating system which is not portable isprocessor managementuser interfacedevice managementvirtual memory management