謂詞邏輯

在數理邏輯中 ， 謂詞邏輯 （ predicate logic ） 是符號形式系統的通用術語 ， 比如一階邏輯 ， 二階邏輯 、 多類邏輯或無窮邏輯等等 。