第1章命題邏輯
　　邏輯學(xué)是研究推理過(guò)程規(guī)律的一門(mén)科學(xué)。數(shù)理邏輯則是用數(shù)學(xué)的方法研究思維規(guī)律的一門(mén)學(xué)科·由于它使用了一套符號(hào)，簡(jiǎn)潔地表達(dá)出各種推理的邏輯關(guān)系，因此數(shù)理邏輯又稱為符號(hào)邏輯或理論邏輯。
　　數(shù)理邏輯和計(jì)算機(jī)的發(fā)展有著密切的聯(lián)系，它為機(jī)器證明、自動(dòng)程序設(shè)計(jì)、計(jì)算機(jī)輔助設(shè)計(jì)等計(jì)算機(jī)應(yīng)用和理論研究提供了必要的理論基礎(chǔ)。
　　數(shù)理邏輯的主要分支包括公理化集合論、證明論、遞歸函數(shù)論、模型論等。從本章開(kāi)始，我們用三章的篇幅介紹數(shù)理邏輯的基本內(nèi)容：命題邏輯、謂詞邏輯和非經(jīng)典邏輯簡(jiǎn)介。
　　命題邏輯研究的是以原子命題為基本單位的推理演算，其特征在于，研究和考查邏輯形式時(shí)，我們把一個(gè)命題只分析到其中所含的原子命題成分為止。通過(guò)這樣的分析可以顯示出一些重要的邏輯形式，這種形式和有關(guān)的邏輯規(guī)律就是命題邏輯。
　　1.1命題與聯(lián)結(jié)詞
　　1.1.1命題與命題變?cè)?br /> 　　語(yǔ)言的單位是句子。句子可以分為疑問(wèn)句、祈使句、感嘆句與陳述句等，其中只有陳述句能分辨真假，其他類型的句子無(wú)所謂真假。
　　定義1.1能夠分辨真假的陳述句叫做命題（Proposition）
　　從這個(gè)定義可以看出命題有兩層含義。①命題是陳述句。其他的語(yǔ)句，如疑問(wèn)句、祈使句、感嘆句均不是命題。②這個(gè)陳述句表示的內(nèi)容可以分辨真假，而且不是真就是假，不能不真也不假，也不能既真又假。