作业帮 > 综合 > 作业

专硕逻辑学判断由于假言判断矛盾矛盾于联言判断,而宣言判断与联言判断也是互相矛盾的,所以假言判断与宣言判断也就具有的等价关

来源:学生作业帮 编辑:搜搜考试网作业帮 分类:综合作业 时间:2024/07/17 11:14:51
专硕逻辑学判断
由于假言判断矛盾矛盾于联言判断,而宣言判断与联言判断也是互相矛盾的,所以假言判断与宣言判断也就具有的等价关系式什么?
专硕逻辑学判断由于假言判断矛盾矛盾于联言判断,而宣言判断与联言判断也是互相矛盾的,所以假言判断与宣言判断也就具有的等价关
你上面的“推理”在逻辑上是正确的,但是不能简单地说哪两种判断等价或矛盾.当然,这三种判断之间确实也有一些联系.
  假言判断:p→q;其真值表中总是3真1假;
  联言判断:p∧q;其真值表中总是1真3假;
  选言判断:p∨q;其真值表中总是3真1假;
所以,从真值表来看,它们已经具备了等价或矛盾的条件.只不过,需要稍微调整一下:
  p→q=¬p∨q=¬(p∧¬q);
可以这样说:
  对于任何一个假言判断,总存在一个选言判断与之等价,也存在一个联言判断与之矛盾.前提是:你得引入否定词,对原子命题稍作调整.