逻辑学学习.10 --- 谓词逻辑（二）：一般命题的符号化

一。直言命题的符号化

• 简单符号化

  三段论逻辑的命题只涉及直言命题，直言命题有四种：
  全称肯定 A： 所有S是P
  全称否定 E： 所有S不是P
  特称肯定 I： 有S是P
  特称否定 O：有S不是P

  我们用个体变项x表示直言命题中的主项“S”，用P(…)表示直言命题中的谓词”…是P“。P（）是一个元变项，表示任何一个一目谓词。

  如果主项x表示最大的类，即宇宙间一切事物的集合，那么符号化一般形式是：

  直言命题	分类	最大类符号化	解释
  全称肯定 A	所有S是P	∀x P（x）	“对所有x而言，x具有P属性”
  全称否定 E	所有S不是P	∀x ¬P（x）	“对所有x而言，x具有非P属性”
  特称肯定 I	有S是P	∃x P（x）	“至少存在一个x使得 ，x具有P属性”
  特称否定 O	有S不是P	∃x ¬P（x）	“至少存在一个x使得 ，x具有非P属性”

• 直言命题的一般符号化

  我们知道，一般直言命题的主项并不是“一切事物”，“个体”等表示宇宙最大类的域范围，一般直言命题的主项只是某个特定的域范围。

  • 全称直言命题，例如：

    1）所有的鱼都是用鳃呼吸的。

    主项“鱼”就不是最大类的项。假如符号化成： ∀x P（x），那么解释就是：“对所有x而 言，x是用鳃呼吸的”，这显然不符合原意。它的正确的解释应该是：

    ∀x（如果x是鱼，那么x是用鳃呼吸的）
    表述为：“对所有的事物而言，如果事物是鱼，那么它是用鳃呼吸的”
    符号化成：
    ∀x（Y（x）→ S（x））
    Y（x）代表谓词“x是鱼"，S（x）代表谓词“x是用鳃呼吸的”

    相应的E命题：

    1‘）任何鱼都不是用鳃呼吸的。

    表述为：“对所有的事物而言，如果事物是鱼，那么它不是用鳃呼吸的”
    符号化成：
    ∀x（Y（x）→ ¬ S（x））
    Y（x）代表谓词“x是鱼"，S（x）代表谓词“x是用鳃呼吸的”

  • 对于存在直言命题，例如

    2）有些金属是液体

    重新表述成：“至少有一事物使得，它是金属并且它是液体”
    ∃x （K（x）∧ L（x））
    K（x）代表谓词“x是金属"，L（x）代表谓词“x是液体 ”

    相应的O命题：

    2’）有些金属不是液体

    重新表述成：“至少有一事物使得，它是金属并且它是非液体”
    ∃x （K（x）∧ ¬ L（x））
    K（x）代表谓词“x是金属"，L（x）代表谓词