Logic: Deduction

使用演绎来证明参数的有效性与玩多种棋盘游戏中的一种不同。例如，在检查器中，有一块板和一组令牌。您可以根据一组规则在板上移动令牌以实现特定目标。在演绎证明中，有一套前提和结论。目标是使用一组推理规则来操纵前提以得出结论。使用此应用程序不需要任何先决条件。它包含用户的大量文档。

享受应用程序。