判断一个wff是不是重言式,是否只能穷举?一个题目是关于wff's proof的，判断一个给定的wff是不是重言式。我的问题是, 是不是只能对每个子表达式穷举T/F，然后计算所有的结果，才能判断是否永真?[解决办法]按照书上的定义是这样的。不过你可以试一下逻辑推理。（这也是一般人类用的办法）在你的程序里假定A为真 然后搜索推断。
