第二章  命題邏輯：符號(hào)化和真值表
    2．1一些基本概念
  　2．1．1  真值函項(xiàng)復(fù)合命題和真值函項(xiàng)聯(lián)結(jié)詞
　 命題邏輯是演繹邏輯的一個(gè)分支。在命題邏輯中所研究的推論只涉及簡(jiǎn)單命題或復(fù)合命題之間的邏輯關(guān)系，而不涉及構(gòu)成命題的詞項(xiàng)之間的邏輯關(guān)系。也就是說(shuō)，命題邏輯是以命題為最小單位的。
　 復(fù)合命題是相對(duì)于簡(jiǎn)單命題而言的。簡(jiǎn)單命題就是不包含其他命題的命題。復(fù)合命題就是包含其他命題的命題。例如，“羅素是一位哲學(xué)家”，這個(gè)命題不包含其他命題，因此它是一個(gè)簡(jiǎn)單命題。而“羅素是一個(gè)哲學(xué)家并且羅素是一個(gè)數(shù)學(xué)家”，就是一個(gè)復(fù)合命題。因?yàn)樗�是以“羅素是一個(gè)哲學(xué)家”和“羅素是一個(gè)數(shù)學(xué)家”這兩個(gè)簡(jiǎn)單命題為其組成部分的。一個(gè)復(fù)合命題所包含的其他命題叫做“復(fù)合命題的支命題”。上面那兩個(gè)簡(jiǎn)單命題就是那個(gè)復(fù)合命題的支命題。在一個(gè)復(fù)合命題中，把各個(gè)支命題聯(lián)結(jié)起來(lái)的那個(gè)詞項(xiàng)叫做“聯(lián)結(jié)詞”。上面那個(gè)復(fù)合命題中的“并且”就是一個(gè)聯(lián)結(jié)詞。常用的聯(lián)結(jié)詞還有“或者”、“如果…那么…”、“當(dāng)且僅當(dāng)”等。
　 任何復(fù)合命題都是由簡(jiǎn)單命題通過(guò)聯(lián)結(jié)詞組合而成的。在日常語(yǔ)言中，聯(lián)結(jié)詞的用法是多種多樣的。但是，在命題邏輯中，我們感興趣的僅僅是聯(lián)結(jié)詞的真值函項(xiàng)的用法。被真值函項(xiàng)地使用的聯(lián)結(jié)詞，使得由它構(gòu)成的復(fù)合命題的真值是它的支命題的真值的一個(gè)函項(xiàng)。這也就是說(shuō)，一個(gè)聯(lián)結(jié)詞被真值函項(xiàng)地使用，當(dāng)且僅當(dāng)，由該聯(lián)結(jié)詞構(gòu)成的復(fù)合命題的真值完全地決定于它的支命題的真值。
　……