逻辑学学习.4— 命题逻辑(二):符号化「建议收藏」

逻辑学学习.4— 命题逻辑(二):符号化「建议收藏」一,命题的符号化用人为规定的符号表示一个命题命题举例:“你干这些工作或者我干这项工作”J表示“你干这项工作”K表示“我干这项工作””或者“是联结词,表示合取,用∧表示符号化J∧K命题常项:用大写

逻辑学学习.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

今天的文章逻辑学学习.4— 命题逻辑(二):符号化「建议收藏」分享到此就结束了,感谢您的阅读。

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。
如需转载请保留出处:https://bianchenghao.cn/84501.html

(0)
编程小号编程小号

相关推荐

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注