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