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