数理逻辑中的证明是恒真式和证明是充足可能式有什么区别?请给出下面两道题的解答.
来源:学生作业帮 编辑:百度作业网作业帮 分类:数学作业 时间:2024/08/08 02:25:24
数理逻辑中的证明是恒真式和证明是充足可能式有什么区别?请给出下面两道题的解答.
①如果P→Q是恒真式,P是充足可能,证明Q是充足可能.
②如果P→Q是充足可能,P是恒真式,证明Q也是恒真式.
①如果P→Q是恒真式,P是充足可能,证明Q是充足可能.
②如果P→Q是充足可能,P是恒真式,证明Q也是恒真式.
![数理逻辑中的证明是恒真式和证明是充足可能式有什么区别?请给出下面两道题的解答.](/uploads/image/z/5698723-67-3.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.)
郭敦顒回答:
恒真式,就是正命题为真,逆命题也是真的;
充分可能式,正命题是真,逆命题不一定是真.
判断下两命题的正误——
①如果P→Q是恒真式,P是充足可能,证明Q是充足可能.
②如果P→Q是充足可能,P是恒真式,证明Q也是恒真式.
①在“如果P→Q是恒真式”中,P→Q 表示P蕴含Q,P是前件,是条件,Q是后件,是结果;而且反之,Q→P,Q蕴含P,Q是前件,是条件,P是后件,是结果.
用集合符号表示为:P⊇Q,并且Q⊇P或P⊆Q.
但在 “P是充足可能,证明Q是充足可能”中,P和Q都是以孤立事项出现的,P是充足可能是对于“什么的” 充足可能呢?没有给出;在“Q是充足可能”中,同样没有指明Q是充足可能是对于“什么的” 充足可能.正像两个手掌拍掌,一只手掌击拍空气,却不见另一只手掌伸出,此即谓孤掌难鸣.
②在“如果P→Q是充足可能”中,P→Q 表示P蕴含Q,P是前件,是条件,Q是后件,是结果;但反之,Q→P,Q蕴含P,却并不一定为真.
而在“P是恒真式,证明Q也是恒真式”中,同样P和Q都是以孤立事项出现的,并没有给出P和Q是恒真式分别是对于“什么的” 恒真式,也是孤掌难鸣.
上两命题的正确表达可能是——
(1)如果P→Q是恒真式,证明Q→P也是恒真式.
(2)如果P→Q是充足可能,证明Q→P也是充足可能.
恒真式,就是正命题为真,逆命题也是真的;
充分可能式,正命题是真,逆命题不一定是真.
判断下两命题的正误——
①如果P→Q是恒真式,P是充足可能,证明Q是充足可能.
②如果P→Q是充足可能,P是恒真式,证明Q也是恒真式.
①在“如果P→Q是恒真式”中,P→Q 表示P蕴含Q,P是前件,是条件,Q是后件,是结果;而且反之,Q→P,Q蕴含P,Q是前件,是条件,P是后件,是结果.
用集合符号表示为:P⊇Q,并且Q⊇P或P⊆Q.
但在 “P是充足可能,证明Q是充足可能”中,P和Q都是以孤立事项出现的,P是充足可能是对于“什么的” 充足可能呢?没有给出;在“Q是充足可能”中,同样没有指明Q是充足可能是对于“什么的” 充足可能.正像两个手掌拍掌,一只手掌击拍空气,却不见另一只手掌伸出,此即谓孤掌难鸣.
②在“如果P→Q是充足可能”中,P→Q 表示P蕴含Q,P是前件,是条件,Q是后件,是结果;但反之,Q→P,Q蕴含P,却并不一定为真.
而在“P是恒真式,证明Q也是恒真式”中,同样P和Q都是以孤立事项出现的,并没有给出P和Q是恒真式分别是对于“什么的” 恒真式,也是孤掌难鸣.
上两命题的正确表达可能是——
(1)如果P→Q是恒真式,证明Q→P也是恒真式.
(2)如果P→Q是充足可能,证明Q→P也是充足可能.
数理逻辑中的证明是恒真式和证明是充足可能式有什么区别?请给出下面两道题的解答.
数理逻辑的形式和非形式证明的区别?
数理逻辑问题:和有什么区别?
数学证明题中的“连接”和“连结”有什么区别吗?哪个是对的?
数理逻辑问题:蕴含(->)和推出(├)到底有什么区别?
离散数学数理逻辑例 构造下面推理的证明 P1152是素数或合数.若2是素数,则 是无理数.若 是无理数,则4不是素数.所
下面的命题哪位达人能给出证明
下面的命题是否正确?如果正确,请给出证明;如果不正确,请给出反例:命题:一组对边相等,一组对角相等的四边形一定是平行四边
请给出海伦定理的详细证明,
一道逻辑学(面向计算机科学的数理逻辑)证明题
请给出下面等式的证明过程或方法(除数学归纳法以外)!
我们给出如下定义:有一组相邻内角相等的四边形叫做等邻角四边形.请解答下列问题:第三题的证明