文件名称:Mathematicallogic
介绍说明－－下载内容均来自于网络，请自行研究使用
数理逻辑里面需要判断一个公式是否为原子式，里面更是解决了判断括号配对等问题-Mathematical logic, which need to determine whether an atomic formula, which is to solve problems to determine matching brackets
(系统自动生成,下载前可以参看下载内容)
下载文件列表
Mathematicallogic.cpp