专硕逻辑学判断由于假言判断矛盾矛盾于联言判断,而宣言判断与联言判断也是互相矛盾的,所以假言判断与宣言判断也就具有的等价关
来源:学生作业帮 编辑:搜搜考试网作业帮 分类:综合作业 时间:2024/07/17 11:14:51
专硕逻辑学判断
由于假言判断矛盾矛盾于联言判断,而宣言判断与联言判断也是互相矛盾的,所以假言判断与宣言判断也就具有的等价关系式什么?
由于假言判断矛盾矛盾于联言判断,而宣言判断与联言判断也是互相矛盾的,所以假言判断与宣言判断也就具有的等价关系式什么?
![专硕逻辑学判断由于假言判断矛盾矛盾于联言判断,而宣言判断与联言判断也是互相矛盾的,所以假言判断与宣言判断也就具有的等价关](/uploads/image/z/6278557-13-7.jpg?t=%E4%B8%93%E7%A1%95%E9%80%BB%E8%BE%91%E5%AD%A6%E5%88%A4%E6%96%AD%E7%94%B1%E4%BA%8E%E5%81%87%E8%A8%80%E5%88%A4%E6%96%AD%E7%9F%9B%E7%9B%BE%E7%9F%9B%E7%9B%BE%E4%BA%8E%E8%81%94%E8%A8%80%E5%88%A4%E6%96%AD%2C%E8%80%8C%E5%AE%A3%E8%A8%80%E5%88%A4%E6%96%AD%E4%B8%8E%E8%81%94%E8%A8%80%E5%88%A4%E6%96%AD%E4%B9%9F%E6%98%AF%E4%BA%92%E7%9B%B8%E7%9F%9B%E7%9B%BE%E7%9A%84%2C%E6%89%80%E4%BB%A5%E5%81%87%E8%A8%80%E5%88%A4%E6%96%AD%E4%B8%8E%E5%AE%A3%E8%A8%80%E5%88%A4%E6%96%AD%E4%B9%9F%E5%B0%B1%E5%85%B7%E6%9C%89%E7%9A%84%E7%AD%89%E4%BB%B7%E5%85%B3)
你上面的“推理”在逻辑上是正确的,但是不能简单地说哪两种判断等价或矛盾.当然,这三种判断之间确实也有一些联系.
假言判断:p→q;其真值表中总是3真1假;
联言判断:p∧q;其真值表中总是1真3假;
选言判断:p∨q;其真值表中总是3真1假;
所以,从真值表来看,它们已经具备了等价或矛盾的条件.只不过,需要稍微调整一下:
p→q=¬p∨q=¬(p∧¬q);
可以这样说:
对于任何一个假言判断,总存在一个选言判断与之等价,也存在一个联言判断与之矛盾.前提是:你得引入否定词,对原子命题稍作调整.
假言判断:p→q;其真值表中总是3真1假;
联言判断:p∧q;其真值表中总是1真3假;
选言判断:p∨q;其真值表中总是3真1假;
所以,从真值表来看,它们已经具备了等价或矛盾的条件.只不过,需要稍微调整一下:
p→q=¬p∨q=¬(p∧¬q);
可以这样说:
对于任何一个假言判断,总存在一个选言判断与之等价,也存在一个联言判断与之矛盾.前提是:你得引入否定词,对原子命题稍作调整.