Sorites Solution - another suggested problem

Back to General discussions forum

zelevin     2022-10-14 16:42:53

I've put together another suggested problem in elementary logic. Rodion, feel free to check your inbox.

Cheers,

V.

Rodion (admin)     2022-10-15 15:46:19
User avatar

Dear Vladimir, Hi, and sorry for delay!

The problem is ready! I guess some people may be tempted to try solving it with pencil and paper (or completely "in the head" as a memory exercise) - since just reading these random statements may provide much fun :)

gardengnome     2022-10-15 17:52:21
User avatar

Very nice, thanks.

PS The wikipedia link needs correcting.

zelevin     2022-10-15 18:42:45

Thanks, Rodion and Mathias.

Yes, the link needs to be fixed. Rodion, can you please change it to https://en.wikipedia.org/wiki/Contraposition? Thanks!

Rodion (admin)     2022-10-16 07:03:35
User avatar

Yeah, thanks Friends, sorry for my inattentiveness - now fixed :)

BTW your puzzle reminded me of some other - have you ever seen the old DOS game Sherlock? Its goal is to select one of six houses, one of six persons, one of six fruits etc using logically a set of clues...

sam_bandara     2022-10-21 02:35:10

Hi experts,

for the following list, my answer was

    Of those who buy gently used books, none paint portraits of their friends.

which is wrong according to the test engine. Could you please share the correct answer if possible to test my scenarios?

    Of those who do not forget anniversaries, none paint portraits of their friends.
    Of those who do not carry umbrellas, all understand people.
    Of those who carry umbrellas, none forget anniversaries.
    Of those who understand people, all have ambitious plans.
    Of those who do not buy gently used books, none ride horses.
    Of those who grow black radishes, all visit public parks.
    Of those who attend company parties, all wear sneakers on formal occasions.
    Of those who do not dance waltz, none walk for fun.
    Of those who do not attend company parties, all ride horses.
    Of those who do not watch cable, all read science fiction.
    Of those who do not grow black radishes, none study fugal counterpoint.
    Of those who do not like rainy weather, none solve quadratic equations.
    Of those who write to local newspapers, none build houses out of recycled bricks.
    Of those who visit public parks, all play water polo.
    Of those who bake apple turnovers, all listen attentively.
    Of those who do not learn how to ski, none tell stories.
    Of those who do not write to local newspapers, all bake apple turnovers.
    Of those who run two kilometer races, none sing bel canto arias.
    Of those who do not study fugal counterpoint, all ask about the meaning of life.
    Of those who do not arrange cultural exchange trips, none listen attentively.
    Of those who arrange cultural exchange trips, none dance waltz.
    Of those who learn how to ski, all paint portraits of their friends.
    Of those who do not build houses out of recycled bricks, none read science fiction.
    Of those who like rainy weather, all sing bel canto arias.
    Of those who ask about the meaning of life, none speak confidently.
    Of those who do not tell stories, none prefer their hats to be waterproof.
    Of those who do not run two kilometer races, none wear sneakers on formal occasions.
    Of those who buy gently used books, none have ambitious plans.
    Of those who do not walk for fun, all prefer their hats to be waterproof.
    Of those who do not speak confidently, none watch cable.

Cheers, Sam.

zelevin     2022-10-21 04:06:27

I'm away from my main machine at the moment so I cannot run my solver code, but it's clear that your answer is incomplete - as in, it does not use every statement of the sorites. You might notice that gently used books are mentioned twice (as are portaits, for that matter) in the list of statements.

gardengnome     2022-10-21 04:07:47
User avatar

Sam,

Sorites is a sequence or chain of logical implications. You are asked to build one that uses all 30 statements. Print out the chain for your solution and check its length - you will find that yours only uses 5 statements. One more hint: play water polo is only appearing once in the 30 statements. That means it has to come either at the start or the end of the chain.

sam_bandara     2022-10-21 13:22:25

Thanks guys, I found the bug. All good now. Task done. Thanks again.

Cheers, Sam.

sam_bandara     2022-10-21 13:35:10

Hi Gardengnome, Mate, what is the logic behind your program, my program has 60+ lines, but wrote it in less than 20 lines. Impressive.

zelevin     2022-10-22 14:51:05

Added my own solution. :)

sam_bandara     2022-10-23 21:55:32

Hi Zelvin, That's a beautiful piece of code mate. Appreciate it if you can explain the logic behind the code. It will definitely help a beginner like me.

Cheers, Sam.

zelevin     2022-10-23 23:35:04

Thanks!

Check out the private thread for this problem, in particular my first post there. If you're curious about any details, feel free to comment on that thread as well, and I'll try to find time to elucidate.

sam_bandara     2022-10-24 03:01:16

Thanks guys! I will follow the thread

sam_bandara     2022-10-25 02:05:06
         Thanks both!!!
Please login and solve 5 problems to be able to post at forum