逻辑
文章平均质量分 89
苦洲
这个作者很懒,什么都没留下…
展开
-
逻辑哲学第四章
否,或,理论,弱化,缩写一. 否(Negation)二. 或(Disjunction)一. 否(Negation)否在命题逻辑中就是将该命题拒绝,否决掉. 在语言中,相当于"不". 例如,我是人,那么这个命题加上否,就变成: 我不是人. 所以"否"在语义中,就是将该命题的True变成False,将False变成True.即:p¬p¬¬p(双重否定)TFTFTF但有个大家很容易犯错的地方,假如有个原命题: “我是开心的”,那大家可以思考下,加上否后,A: “我原创 2021-07-09 11:54:19 · 1450 阅读 · 1 评论 -
哲学逻辑 第三章
一. 自然演绎介绍(natural deduction)从本章起,小弟逐步为大家介绍自然演绎,给大家举个简单的例子(命题逻辑的自然演绎):p,q⊢((p∧q)→r)→rp, q ⊢ ((p ∧ q)→r)→rp,q⊢((p∧q)→r)→rα1 (1) p Aα_1\ \ (1)\ \ \ p \ \ \ \ \ \ \ Aα1 (1原创 2021-06-28 13:48:33 · 473 阅读 · 1 评论