Symbols Logic

解锁逻辑：学习自然演绎和推理规则。

借助 Symbols，您可以在移动设备上学习自然演绎和推理规则。无论您是逻辑研究的新手还是想重温推理规则，我们的学习卡都可以帮助您学习和复习；我们的活动可帮助您提高和练习技能。

我们的学习卡包括：Modus Ponens、Modus Tollens、Disjunctive Syllogism 等等。

我们的活动包括：

1.有效性：有效性偷偷地使用重复来教学生推理规则。让我们面对现实吧，重复很有效，但它常常让人感觉像是一件苦差事。有效性给你重复的好处，同时尽量减少它的坏处的方法是向你介绍已经“解决”的新论点。然后，您必须确定解决方案是否正确应用了每个步骤。重复是技能培养的核心，但为了尽量减少学生感到无聊和沮丧之前的“打蜡和打蜡”的感觉，刺激是新奇的，感觉最像工作的部分已经为你准备好了。您所要做的就是确定这些步骤是否正确应用。

2. 对齐：对齐至少对学生隐藏了一个步骤的一部分，迫使用户弄清楚哪些部分或哪些部分丢失了，以及它们如何适应所提供内容的大图。有效性偷偷地增加你的重复，正当理由用看起来有点谜的东西来吸引你的创造力。这不仅是为了让学生保持参与，而且为了加深他们对规则的理解，更准确地说，是为了加深他们在争论中的应用。

3. 推理：推理只为用户提供一组前提和最终结论。当学生进行推理时，他们的训练轮已经完全关闭，他们之前学到的一切都必须用于在心理上用所提供的内容构建一个有效的论点，或者得出无法有效得出结论的结论。通常用纸和铅笔完成的事情是以思想的速度完成的。

4. 翻译：翻译帮助学生将带有指示词和短语的陈述翻译成逻辑陈述。指示词和短语通常用于逻辑书籍和课程中，以帮助学生“了解”如何将人类语言的陈述翻译成逻辑陈述。翻译将它们分解为一组级别，并允许用户在达到新的熟练程度时设置新分数。