第八章真值函项性：简单陈述与复合陈述

该内容围绕命题逻辑中陈述的真值函项性，对简单陈述和复合陈述进行了定义和区分。每个陈述在特定含义下是真值函项或真值函项陈述，其真值由一个或多个构成该陈述分支陈述的真值唯一确定。

第八章

• 8.2　真值函项性：简单陈述与复合陈述
  • 在本章，我们将关注命题逻辑的简单论证，
    • 大多数这种类型的论证都至少包含一个复合陈述。
    • 研究这样的论证时，我们把所有陈述分为
      • 简单陈述
      • 复合陈述两个大类。
    • 每个陈述要么为真要么为假
      • 我们把这个性质叫作每一个陈述都有真值：
        • 真陈述的真值为真，
        • 假陈述的真值为假
      • 每一个陈述在如下特定含义上是一个真值函项或真值函项陈述，
        • 即它的真值是由一个或更多构成该陈述的分支陈述的真值所唯一确定的。
          • 即它的真值是由一个或更多构成该陈述的
            • 分支陈述的真值所唯一确定的。
      • 一个简单陈述不是其他陈述的真值函项。
        • 它的真值就是它本身真值的函项而非其他
          • 这是简单陈述的特性，是真值函项的极限情形
    • 一个复合陈述是至少一个其他陈述的真值函项。
      • 一个复合陈述不是简单陈述
        • ，这意味着它是至少一个其他分支陈述的真值函项。