数理逻辑中的证明是恒真式和证明是充足可能式有什么区别?请给出下面两道题的解答.
①如果P→Q是恒真式,P是充足可能,证明Q是充足可能.
②如果P→Q是充足可能,P是恒真式,证明Q也是恒真式.
人气：370 ℃ 时间：2020-05-14 23:14:03
解答
郭敦顒回答：恒真式,就是正命题为真,逆命题也是真的；充分可能式,正命题是真,逆命题不一定是真.判断下两命题的正误——①如果P→Q是恒真式,P是充足可能,证明Q是充足可能.②如果P→Q是充足可能,P是恒真式,证明Q也是恒...
推荐
猜你喜欢
- 如图所示，物体处于平衡状态，若保持a不变，当力F与水平方向夹角β多大时F有最小值（ ） A.β=0 B.β=π2 C.β=α D.β=2α
- 人体呼出的氮气和吸入氮气含量有没有发生变化
- 一台座钟,它的分针长5厘米.这台座钟的分针的针端一天所走的路程是多少米?
- 滑轮组可以省力,改变用力方向,不能同时省力又省距离
- 若直线l1:y=k（x-4）与直线l2关于点（2,1）对称,则l2直线恒过点（0,2）.（0,2）点怎么算的?
- 英语翻译
- 那个男孩比班上任何一个学生都高.That boy is ( ）（ ）（ ）（ ）in the class.
- 如图:四边形ABCD为菱形,对角线AC=8,BD=6,对角线相交于点O,P是边AD上一点(P与D点可重合)
