逻辑学学习.4--- 命题逻辑（二）：符号化

一，命题的符号化

用人为规定的符号表示一个命题

命题举例：

“你干这些工作或者我干这项工作”
J表示“你干这项工作”
K表示“我干这项工作”
”或者“ 是联结词，表示合取，用 ∧ 表示

符号化 J∧K

命题常项：用大写字母A到Z表示。命题常项表示命题的缩写。
命题变项：用 p, q, r, s 表示。命题变项表示待填入具体的命题。

逻辑学中的命题涉及的三层语言：

• 自然语言命题
• 符号语言命题
• 表达符号语言命题的符号

二，常见复合命题的符号化

• 命题举例 1：

  “尽管你对我有误解，但是我仍愿同你合作”

  联结词：“尽管，但是”
  关键是要确定，是否属于我们所讨论的五个联结词。
  对于不能被真值函项所使用的联结词，首先要对它们做出“真值函项的释义”，之后用真值函项联结词加以表达，去掉修饰含义。

  用W表示“你对我有误解”
  用H表示“我愿同你合作”
  真值函项释义：

  W	H	结果
  1	1	1
  1	0	0
  0	1	0
  0	0