结构判定方法相关硕士博士期刊学术论文

与命题演算一样,联合演算也有相应的判明一公式是否永真的方法。希尔伯特和阿克曼提出的＂审定法＂就是这样一种方法,但审定法没有区分......