计算机科学中的数理逻辑

有4个功能：1）判断一个表达式是否是公式

2）查找出一个公式的所有子公式

3）去除双非 4）去除蕴涵-Computer science in mathematical logic has four functions: 1) to determine whether it is an expression equation 2) to find out a formula for all the sub-formula 3) removal of pairs of non-4) to remove implication