离散数学课程练习题 练习2:判断合式公式(目前环境python3.10) 寻找错误点,如是否有完整括号,是否封闭,命题是否有合适的联结词 @2/24 14:30 增加了查找空白括号 @3/21 添加了一些规则 @3/23 增加了GUI功能!!! @3/29 增加sqlite3