命題邏輯
命

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

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