文章 0 浏览 0
我正在尝试创建一个谓词来验证给定的输入是否代表一个公式。 我只能使用命题原子，如 p、q、r、s、t 等。 我必须测试的公式如下： neg(X) - represent…
文章 0 评论 0
接受
