wffs of 谓词演算公式
validity of wffs 合式公式的有效性
wffs of predicate calculus 谓词演算公式
satisfiability of set of wffs 合式公式集的可满足性
应用推荐
模块上移
模块下移
不移动