逻辑中,模态命题理解困惑.可能p和可能非p为下反对关系,即一个为真,另外一个可真可假(真假不确定).如:今天可能下雨,今天可能不下雨.如果今天可能下雨为真,那么可能不下雨应该可以
逻辑中,模态命题理解困惑.
可能p和可能非p为下反对关系,即一个为真,另外一个可真可假(真假不确定).
如:今天可能下雨,今天可能不下雨.如果今天可能下雨为真,那么可能不下雨应该可以确定为假,并不是可真可假(真假不确定)的.
逻辑中,模态命题理解困惑.可能p和可能非p为下反对关系,即一个为真,另外一个可真可假(真假不确定).如:今天可能下雨,今天可能不下雨.如果今天可能下雨为真,那么可能不下雨应该可以
逻辑中,模态命题理解困惑.
可能p和可能非p为下反对关系,即一个为真,另外一个可真可假(真假不确定).
如:今天可能下雨,今天可能不下雨.如果今天可能下雨为真,那么可能不下雨应该可以确定为假,并不是可真可假(真假不确定)的.
虽然我不知道什么是“模态”命题,但我可以解释你的问题:
首先,根据一个命题的真假,我们可以确定的是它的“否定”的真假——这是由“否定型”复合命题的定义决定的.所谓命题的否定,是对它的“整体”的否定,关键是对“谓语”的整体否定;而不是对谓语的“部分否定”.
对于命题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的真假是不确定的.
当p的真假不确定时;P为真;那我举个例子:明天下雨,我就坐车去学校。(明天下雨就是你指的p,真假不定)意思就是:明天不管下不下雨(下雨、不下雨不确定),我都坐车去学校。那么明天下雨,我坐车去学校。明天不下雨,我也坐车去学校。不管怎么样我都是坐车去学校。
不成立;你的条件:明天下雨,我就坐车去学校;这是一个条件命题,可规范化为:如果p,那么x;(设p:,明天下雨;x:我做车去学校)这个条件命题,决定了p和x两个原子命题的“可能的”真值组合,即它所允许的各种情形:p为真,(且)x为真;p为假,(且)x为真;p为假,(且)x为假;你的条件为真,当且仅当以上三种情况之一出现;而你的结论:明天不管下不下雨,我都坐车去学校;这虽然也是个“条件状语从句”,但这里的条件是个“假条件”:它既不是充分条件;也不是必要条件。其“结论”与该“条件”无任何关系。这句话的意思是:如果p,那么x;并且:如果非p,那么(也)x;综合可知,该命题应表示为:x;这也说明:该命题(的真假),与p(的真假)没有任何关系;它也对应着几种可能的情形:p为真,(且)x为真;p为假,(且)x为真;你的结论为真,当且仅当以上两种情况之一出现;显然,从你的条件是得不出这样的结论的,因为我们可以找到一种情形,使得你的条件为真,而你的结论为假:p为假,(且)x为假;所以,你的推理是不成立的。