Question

How can we write a English statement into First order logic? Q. There are At most 100 cubes.

Comments

∀x( Cube(x) → Number(x) ≤ 100 )

Answer 1

∀$x^1$∀$x^2$….∀$x^101$ ( {cube($x^1$)  $\wedge$  cube($x^2$)... $\wedge$ cube(x^101) } → { ($x^1$=$x^2$) V {$x^2$=$x^3$}….V{$x^100$=$x^101$} .

in this cube(x) denotes x is a cube.