命題邏輯
命

命題邏輯　　　mìng tí luó jí

分析復(fù)合命題所包含的命題成分，著重研究命題聯(lián)結(jié)詞的性質(zhì)而導(dǎo)出有關(guān)邏輯形式和規(guī)律的邏輯理論。它不涉及命題成分內(nèi)部的結(jié)構(gòu)，以此和謂詞邏輯相區(qū)別。命題邏輯的公理化就是命題演算。古希臘的斯多葛學(xué)派最早提出的邏輯是命題邏輯的萌芽，直到20世紀(jì)初數(shù)理邏輯形成一門(mén)獨(dú)立的學(xué)科，命題邏輯才獲得巨大的發(fā)展。