数理逻辑中的证明是恒真式和证明是充足可能式有什么区别?请给出下面两道题的解答.①如果P→Q是恒真式,P是充足可能,证明Q是充足可能.②如果P→Q是充足可能,P是恒真式,证明Q也是恒真式.
来源:学生作业帮助网 编辑:作业帮 时间:2024/08/02 19:27:53
![数理逻辑中的证明是恒真式和证明是充足可能式有什么区别?请给出下面两道题的解答.①如果P→Q是恒真式,P是充足可能,证明Q是充足可能.②如果P→Q是充足可能,P是恒真式,证明Q也是恒真式.](/uploads/image/z/4523556-12-6.jpg?t=%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91%E4%B8%AD%E7%9A%84%E8%AF%81%E6%98%8E%E6%98%AF%E6%81%92%E7%9C%9F%E5%BC%8F%E5%92%8C%E8%AF%81%E6%98%8E%E6%98%AF%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD%E5%BC%8F%E6%9C%89%E4%BB%80%E4%B9%88%E5%8C%BA%E5%88%AB%3F%E8%AF%B7%E7%BB%99%E5%87%BA%E4%B8%8B%E9%9D%A2%E4%B8%A4%E9%81%93%E9%A2%98%E7%9A%84%E8%A7%A3%E7%AD%94.%E2%91%A0%E5%A6%82%E6%9E%9CP%E2%86%92Q%E6%98%AF%E6%81%92%E7%9C%9F%E5%BC%8F%2CP%E6%98%AF%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD%2C%E8%AF%81%E6%98%8EQ%E6%98%AF%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD.%E2%91%A1%E5%A6%82%E6%9E%9CP%E2%86%92Q%E6%98%AF%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD%2CP%E6%98%AF%E6%81%92%E7%9C%9F%E5%BC%8F%2C%E8%AF%81%E6%98%8EQ%E4%B9%9F%E6%98%AF%E6%81%92%E7%9C%9F%E5%BC%8F.)
xUkn@JJe%j'UPr)
b0D)!'$ĴI_лW )UUB7|3d7}a1^3tB
{cp53#찻m#KŌ|M̒xJ̎mřoNj'H$_aq_Q93BI u7f_Q@"Wam{3knppԦnKcWj#L6^!(0{:#P3g2l)u_pFt^k!aL&~9i_NV%_z[dPIpL;!p9ԃ_!j%2zNQLVL !(HG.8b
5/