Register

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

267 views

1 Answer

0 votes
0 votes
∀$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.
User Avatar
Voting & Accepting an answer helps improve the community
← PreviousNext →
← Previous in categoryNext in category →

Related questions

0 votes
0 votes
0 answers
3
hem chandra joshi asked Apr 26, 2018
589 views
How can this English sentence be translated into a logical expression?
How can this English sentence be translated into a logical expression? “You cannot ride the roller coaster if you are under 4 feet tall unless you are older than 16 years old.”
How can this English sentence be translated into a logical expression?“You cannot ride the roller coaster if you are under 4 feet tall unless you are older than 16years...
User Avatar
1 votes
1 votes
0 answers
4
Shubhanshu asked Jul 21, 2017
414 views
Preposition logic "At most" statement
How to write:- "There are at most two apples" I think it should be:- ∀x { A(x) -> ∀y {A(y) -> (x=y) V [ ∀z [A(z) -> ((z=y) V (z=x))]]}} is it correct or not?
How to write:-"There are at most two apples"I think it should be:-∀x { A(x) - ∀y {A(y) - (x=y) V [ ∀z [A(z) - ((z=y) V (z=x))]]}}is it correct or not?
User Avatar
Link Copied!