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