DC证明1.0_DC Proof 1.0

一个新的学习辅助教逻辑和证明的基本原理

DC证明应用程序的设计是基于PC的，教育软件。
DC证明被认为是一个直观的，交互的窗口，现代逻辑学和数学的本质，让学生写证明，使用便捷的下拉菜单的规则和公理，每行验证输入。

下面是一些主要特点“DC的神器出山:www.shenqi73.com证明”：

·完全互动的，自学教程，可以作为介绍符号逻辑和数学的基础，在高中，学院或大学水平
·颜色编码的变量指示在什么样的概括，可以一目了然，可得出的结论


要求：

·MS Internet Explorer中，第4版或更高版本