謂詞邏輯
謂

謂詞邏輯　　　

將命題分解為主詞、謂詞和量詞，研究其形式結(jié)構(gòu)，導(dǎo)出有關(guān)的邏輯形式和規(guī)律的邏輯理論。因其基本推理規(guī)則是關(guān)于量詞的引入和消去的規(guī)則，故亦稱“量詞邏輯”。謂詞邏輯的公理化就是謂詞演算。弗雷格于19世紀(jì)末20世紀(jì)初建立了第一個(gè)初步自足的公理化的謂詞邏輯系統(tǒng)。