一,命题的符号化
用人为规定的符号表示一个命题
命题举例:
“你干这些工作或者我干这项工作”
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