命題演算
命

命題演算　　　mìng tí yǎn suàn

數(shù)理邏輯的基本組成部分。在命題演算里，把簡(jiǎn)單命題當(dāng)作可取得真值或假值的整體（不分析其內(nèi)部結(jié)構(gòu)），研究由簡(jiǎn)單命題出發(fā)經(jīng)使用*命題聯(lián)接詞構(gòu)成的復(fù)合命題的邏輯形式，以及它們之間的邏輯推理關(guān)系。在計(jì)算機(jī)科學(xué)中有廣泛應(yīng)用。