刘易斯·卡罗尔的逻辑游戏
在他的序言中逻辑游戏刘易斯·卡罗尔评论道：
除了九个计数器，它还需要一个玩家，至少。我不知道有什么游戏可以玩较少的比这个数字：虽然有几个需要更多.
在下面的小程序中，计数器的数量是无限的，而由于您正在阅读此页面，您有机会成为一名玩家。该设备旨在帮助您解决索利斯问题。小程序由两部分组成：12个三边图和3图表。小程序底部有一个复选框，弹出双边图窗口。该窗口与选定的三边图关联。您可以通过单击“<”和“>”按钮在后者中循环。三边图有三个属性：水平、垂直和内部，表示为x/x'、y/y'和m/m'。在双边图窗口中，您可以为这些属性指定任意名称：键入它们，然后按“Enter”。第一个双边图用于定义具有两个属性的语句：x和m。第二个双边图应该与y和m相关。要使小程序工作，根据图表，这两个前提必须以这样的方式定义，即消除数是垂直属性的两倍：
如果你能做到这一点，这两个将作为三段论的前提，其结论（如果有的话）将显示在第三个图表中。
这个过程反映在三边图中。例如，这是示例的外观索里特人:
有了小程序，很容易看出，在最后一步中，我们可能得出了更有力的结论，即所有b都是c'。请尝试其他示例.
刘易斯·卡罗尔
|联系人|
|首页|
|目录|
|向上|
版权所有©1996-2018亚历山大·博戈莫尼
