推理证明图解方法

摘要

逻辑学是思维的科学，推理是核心内容。推理由条件推出结论，即由已知命题推出新命题。该充坐标图上的点阵表示条件和结论及两者点图的包含关系，以图解证明方法代替复杂、抽象的符号推理，直观证明推理的正确性。在人工智能领域，是一种间捷算法。