数理逻辑中的证明是恒真式和证明是充足可能式有什么区别?请给出下面两道题的解答.

分类: 作业答案 • 2022-01-09 18:03:21

问题描述：

数理逻辑中的证明是恒真式和证明是充足可能式有什么区别?请给出下面两道题的解答.
①如果P→Q是恒真式,P是充足可能,证明Q是充足可能.
②如果P→Q是充足可能,P是恒真式,证明Q也是恒真式.

答

郭敦顒回答：恒真式,就是正命题为真,逆命题也是真的；充分可能式,正命题是真,逆命题不一定是真.判断下两命题的正误——①如果P→Q是恒真式,P是充足可能,证明Q是充足可能.②如果P→Q是充足可能,P是恒真式,证明Q也是恒...