謂詞演算
謂

謂詞演算　　　wèi cí yǎn suàn

數(shù)理邏輯的基本組成部分。在謂詞演算里，分析簡單命題的內(nèi)部結(jié)構(gòu)（主語和謂語、全體和部分），研究由命題和命題形式經(jīng)使用*命題聯(lián)接詞、*量詞構(gòu)成的命題的邏輯形式，以及它們之間的邏輯推理關(guān)系。謂詞演算在計算機科學(xué)中有廣泛應(yīng)用。