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

问题描述:

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