Deductum

Good fun, putting the familiar logical challenge into a new interface is enough to leave you humorously confused. Very well polished. I would advise you pick it up if you already have some limited experience with boolean algebra, or if you are unfamiliar with the work but find high difficulty acceptable.

an amazing game and really interesting. feels a bit like Turing Complete in the best way. the only change i would make is add a reset button, but besides from that, perfect little puzzle game!

非常简单的命题逻辑自然推演小游戏，一口气打完。 游戏交互做得挺舒适的，不错。 两个建议： 1. 使用合取消去规则时一定要确定另一项，不能自动匹配。我理解这是还原规则原本的内容，但一般来说能自动匹配都只会带来方便而不是带来麻烦； 2. 要是能有更多的内容比如一阶谓词逻辑就更好了。

I'd been looking for this exact sort of game for a couple of years. I took a logic class in college and wanted a refresher. This game exceeded my expectations. It is not only a thoughtful training in semantic logic but a beautiful experience all around. Good music, graphics, even a custom font. I mean, they didn't have to but I'm thrilled that they went through all of the effort. The whole experience is polished and engaging. It's also reaching the difficulty of a logic primer college class, so if you're going to get into it, have patience with yourself. One of my personal favorites.

good game, but "A or not A" statement as lemma is highly needed during last section

잘 만든 논리학 교과서 기믹 좋고 레벨 깔끔 한줄평: 교재보다 이게 도움 될 듯