第2章　命題邏輯

數(shù)理邏輯是用數(shù)學方法研究推理的形式結構和推理的規(guī)律的數(shù)學學科.所謂數(shù)學方法，就是用一套有嚴格定義的符號，即建立一套形式語言來研究，因此數(shù)理邏輯也稱為符號邏輯.數(shù)理邏輯的基礎部分是命題邏輯和謂詞邏輯.本章主要講述命題邏輯.