关于含高级量词的一目谓词演算公式的永真性的可判定性及其应用

在本文中我们证明含高级量词和等词的一目谓词演算公式是否永真为可判定的并且利用这一结果证明了Nakamura在文献[3]中提出的带有个阈算子的命题演算的判定问题是可解的。