逻辑中,模态命题理解困惑.可能p 和 可能非p 为下反对关系,即一个为真,另外一个可真可假(真假不确定).如:今天可能下雨,今天可能不下雨.如果今天可能下雨为真,那么可能不下雨应该可以
来源:学生作业帮助网 编辑:作业帮 时间:2024/11/03 01:20:40
逻辑中,模态命题理解困惑.可能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 的真假是不确定的.