逻辑中,模态命题理解困惑.可能p和可能非p为下反对关系,即一-查字典问答网
分类选择

来自曹荃的问题

  逻辑中,模态命题理解困惑.可能p和可能非p为下反对关系,即一个为真,另外一个可真可假(真假不确定).如:今天可能下雨,今天可能不下雨.如果今天可能下雨为真,那么可能不下雨应该可以

  逻辑中,模态命题理解困惑.

  可能p和可能非p为下反对关系,即一个为真,另外一个可真可假(真假不确定).

  如:今天可能下雨,今天可能不下雨.如果今天可能下雨为真,那么可能不下雨应该可以确定为假,并不是可真可假(真假不确定)的.

3回答
2019-07-29 01:21
我要回答
请先登录
刘尊全

  虽然我不知道什么是“模态”命题,但我可以解释你的问题:

  首先,根据一个命题的真假,我们可以确定的是它的“否定”的真假——这是由“否定型”复合命题的定义决定的.所谓命题的否定,是对它的“整体”的否定,关键是对“谓语”的整体否定;而不是对谓语的“部分否定”.

  对于命题P:

  P:可能下雨;

  它的谓语有两个动词:可能、下(雨);这种命题应该理解为是一个“复合命题”——至少是一个“复杂命题”:

  p:(今天)下雨:

  P:可能p;

  所以P的否定(记为:P′)是:

  P′:非P=不可能p=不可能下雨;

  对于命题Q:

  Q:可能不下雨;

  也有相对应的分析:

  q:(今天)不下雨;显然:q=非p;

  Q:可能q;

  Q的否定:

  Q′:非Q=不可能q=不可能不下雨;

  以上命题中:

  P与P′相互矛盾;Q与Q′相互矛盾;p与q相互矛盾;

  而对于P和Q:

  Q只是对P的谓词的一部分“下雨”作出否定;所以Q的真假情况,还要看P的谓词的另一部分——“可能”.而“可能”的意思就是(允许)不确定;具体地说:

  当p(确实)为真时,P为真;

  当p(确实)为假时,P为假;

  当p的真假不确定时;P为真;

  以上论述同样适用于命题q和Q;

  对于你的题目,所能确定的是:P为真;

  那么,可知:

  P′必为假;

  而p则可能为真;也可能不确定;

  当p为真时,即今天真的下雨了:

  q=非p,必为假;

  则:Q也为假;

  当p不确定时,即(确实)不能确定今天是否下雨;

  q=非p,也不能确定;

  则:Q为真;

  这说明:P与Q可以同为真;其为真的充要条件就是:p(q也一样)的真假不确定;

  综上所述,可知:Q的真假是不确定的.

2019-07-29 01:23:29
曹荃

   当p的真假不确定时;P为真;那我举个例子:明天下雨,我就坐车去学校。(明天下雨就是你指的p,真假不定)意思就是:明天不管下不下雨(下雨、不下雨不确定),我都坐车去学校。那么明天下雨,我坐车去学校。明天不下雨,我也坐车去学校。不管怎么样我都是坐车去学校。

2019-07-29 01:24:46
刘尊全

  不成立;你的条件:明天下雨,我就坐车去学校;这是一个条件命题,可规范化为:如果p,那么x;(设p:,明天下雨;x:我做车去学校)这个条件命题,决定了p和x两个原子命题的“可能的”真值组合,即它所允许的各种情形:p为真,(且)x为真;p为假,(且)x为真;p为假,(且)x为假;你的条件为真,当且仅当以上三种情况之一出现;而你的结论:明天不管下不下雨,我都坐车去学校;这虽然也是个“条件状语从句”,但这里的条件是个“假条件”:它既不是充分条件;也不是必要条件。其“结论”与该“条件”无任何关系。这句话的意思是:如果p,那么x;并且:如果非p,那么(也)x;综合可知,该命题应表示为:x;这也说明:该命题(的真假),与p(的真假)没有任何关系;它也对应着几种可能的情形:p为真,(且)x为真;p为假,(且)x为真;你的结论为真,当且仅当以上两种情况之一出现;显然,从你的条件是得不出这样的结论的,因为我们可以找到一种情形,使得你的条件为真,而你的结论为假:p为假,(且)x为假;所以,你的推理是不成立的。

2019-07-29 01:29:06

最新问答

推荐文章

猜你喜欢

附近的人在看

推荐阅读

拓展阅读

  • 大家都在看
  • 小编推荐
  • 猜你喜欢
  •