埃爾布朗定理

在邏輯學中,赫爾不蘭特定理(Herbrand's theorem)建立了命題邏輯計算和謂詞邏輯計算之間的關係,因此赫爾不蘭特定理可能是一種確定的手段來判斷一個命題的命題邏輯計算是否是有限的,對於一個含有複雜謂詞的公式,它的謂詞邏輯計算也起到同樣的作用。通過對赫爾不蘭特定理的應用,部分回答了上述問題。