Propositional Parlor Puzzle

Posted by foldU on Monday April 21, 2025 @02:46PM
from the buttondown.com dept.

https://buttondown.com/jaffray/archive/propositional-parlor-puzzle/

( 4 comments | 12 points | on HN )

Re:Propositional Parlor Puzzle by Supermancho on Monday April 21, 2025 @03:20PM (#43755469)

There's a game available on STEAM called "Mimic Logic" which consists of these kinds of puzzles.

[ Parent | on HN ]

Re:Propositional Parlor Puzzle by millxing on Monday April 21, 2025 @07:26PM (#43757586)

If you like these puzzles, you want to check out books by the late, great Raymond Smullyan:

https://www.amazon.com/Lady-Tiger-Other-Puzzles-Recreational...

[ Parent | on HN ]

Re:Propositional Parlor Puzzle by ddmf on Tuesday April 22, 2025 @05:08AM (#43760285)

I just played this at the weekend - Blue Prince on the PS5.

[ Parent | on HN ]

Re:Propositional Parlor Puzzle by phi-go on Tuesday April 22, 2025 @03:33PM (#43765482)

Interesting to see, I was wondering how to encode this puzzle for a logic solver.

One nit, this doesn't seem to handle the case where a box can have both true and false statements. As per the rules only one box needs to have only false and one only true statements, the third can have both.

Maybe this is also in the next part.

[ Parent | on HN ]