邏輯學課后習題答案

1、1第一章緒論（P6）一、1邏輯學的研究對象是思維的形式結構及其規(guī)律，邏輯學是研究思維形式結構及其規(guī)律的科學。2思維形式結構是思維內容的存在方式、聯(lián)系方式。邏輯常項是思維形式結構中的不變部分，它決定思維的邏輯內容。邏輯變項是思維形式結構中的可變部分，它容納思維的具體內容。如“所有S是P”這一全稱肯定命題的思維形式結構，其中“所有……是……”是邏輯常項，表明該命題具有“全稱肯定”的邏輯內容?！癝”、“P”是邏輯變項(詞項變項)，代入不同具體

2、詞項，表達不同的具體思維內容，并有真假。又如“如果P，那么Q”這一充分條件假言命題的思維形式結構，其中“如果……那么……”是邏輯常項，表明該命題具有蘊涵式的邏輯內容，即前件真則后件真(“有之必然”)，并非前件真而后件假(并非“有之而不然”)?！癙、Q”是邏輯變項(命題變項)，代入不同的具體命題，表達不同的具體思維內容，并有真假。3對思維形式結構的代入，是指用具體的詞項或命題替換思維形式結構中的邏輯變項，因而使思維形式結構成為有內容的具體

3、思想，并具有真假值。如用具體的詞項“楊樹”和“落葉喬木”，分別替換“所有S是P”這一全稱肯定命題的思維形式結構中的邏輯變項“S”和“P”，因而使思維形式結構成為有內容的具體思想“所有楊樹是落葉喬木”，并具有真值。又如用具體的命題“過度砍伐森林”和“會破壞生態(tài)平衡”，分別替換“如果P，那么Q”這一充分條件假言命題的思維形式結構中的邏輯變項“P”和“Q”，因而使思維形式結構成為有內容的具體思想“如果過度砍伐森林，那么會破壞生態(tài)平衡”，并具有

4、真值。4現(xiàn)代邏輯從形式上定義和說明邏輯規(guī)律。如命題邏輯中的邏輯規(guī)律就是重言式(一真值形式在命題變項的任意一組賦值下都真)，謂詞邏輯中的邏輯。規(guī)律就是普遍有效式(指一命題形式在任一解釋下都得到一個真命題)①，傳統(tǒng)邏輯主要從內容、作用上定義和說明邏輯規(guī)律。邏輯規(guī)律有特殊和一般之分。如定義、劃分的規(guī)則，是特殊的邏輯規(guī)律，作用于定義、劃分的特殊范圍。同一律、矛盾律、排中律和充足理由律，是一般的、基本的邏輯規(guī)律，概括正確思維形式結構的基本性質和聯(lián)

5、系，普遍作用于各類思維形式結構，支配各類思維形式結構的特殊規(guī)律(規(guī)則)，對思維具有強制的規(guī)范和約束作用，保證思維的確定性、一貫性、明確性和論證性。違反這些規(guī)律，會發(fā)生邏輯謬誤。5邏輯矛盾，是指一類思維形式結構，在任意代入下都表達虛假的思想內容。如“有S不是S”、“P并且非P”。命題邏輯中的矛盾式，指一真值形式在命題變項的任意一組賦值下都假。謂詞邏輯中的矛盾式(不可滿足式)，指一命題形式在任一解釋下都不能得到一個真命題。模態(tài)邏輯中的矛盾式

6、(不可滿足式)，指一模態(tài)公式在任意模型的任一可能世界上都假。邏輯矛盾又叫自相矛盾。狹義的邏輯矛盾指同時肯定一對互相矛盾的命題(如“這是牛，并且這不是?！?。廣義的邏輯矛盾還包括同時肯定一對互相反對的命題(如“這是牛，并且這是馬”)，因為同時肯定一對互相反對的命題，相當于同時肯定兩對互相矛盾的命題(如“這是牛，并且這不是?！迸c“這是馬，并且這不是馬”)。6思維形式結構的規(guī)律，是正確的思維形式結構所具有的普遍、必然的性質和聯(lián)系。有特3都是充

7、分條件假言推理肯定前件式，具有共同的邏輯形式，其公式是：如果P，那么QP所以，Q三、1如果兩個思想的表達具有相同的思維形式結構，則(C它們具有相同的邏輯常項)。2“要么p，要么q”與“或者p，或者q”這兩個命題形式，它們含有(C不同的邏輯常項，相同的變項)。3下列命題具有相同邏輯形式的有(A只要功夫深，鐵桿磨成針。D如果你有空，請立即回信。C要是寒潮到來，氣溫就會下降。D理論一旦掌握群眾，就會變成物質力量。都是充分條件假言命題，其共同的