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

来源：学生作业帮助网编辑：作业帮时间：2024/05/05 23:24:33

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

数理逻辑中的证明是恒真式和证明是充足可能式有什么区别?请给出下面两道题的解答.①如果P→Q是恒真式,P是充足可能,证明Q是充足可能.②如果P→Q是充足可能,P是恒真式,证明Q也是恒真式.
郭敦顒回答：
恒真式,就是正命题为真,逆命题也是真的；
充分可能式,正命题是真,逆命题不一定是真.
判断下两命题的正误——
①如果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也是恒真式. 在卡方分布中的自由度怎么确定?求数理逻辑证明. 数理逻辑中的(AB)C |-| A(BC) 谁知道这个怎么证明等值符号的结合律~ 数理逻辑等价公式的证明在数理逻辑里有几个等价公式我不知道是怎么证明的,等值公式里有一个 p=>q=~p||q 为什么这两个是等价的某一蛋白质可能是转录因子证明其在细胞中的位置rt 怎样证明空气中的主要成分是氮气和氧气数理逻辑是啥? 数学可不可以只有文字,做出和所有公式(符号)相同的表达?比如哥德尔不完备定理 ,在维基百科中的叙述这样的：在数理逻辑中,哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条数理逻辑的形式和非形式证明的区别?一次考试中,在证明一阶逻辑时,提到用形式证明,另一道题提到用非形式证明,我不明白这两种证明方式到底指的是什么?有什么区别吗?我只知道利用定理的离散数学数理逻辑例构造下面推理的证明 P1152是素数或合数.若2是素数,则是无理数.若是无理数,则4不是素数.所以,如果4是素数,则2是合数. 关系演算的基础是( ) A.形式逻辑中的逻辑演算 B.形式逻辑中的关系演算 C.数理逻辑中的谓词演算 D.数理逻辑如何证明集气瓶中的气体是氧气证明图中的三角形是一个等腰三角形严格证明扔一枚硬币正面朝上的概率是0.1 如何证明朝上和朝下是等可能的?2 怎么说明概率不是0.49999999而是0. ┐(P∨Q→┐R)=(┐P∨Q)∧R如何证明数理逻辑实在是叫人头痛啊,那位能帮个忙呢?问题绝对没有错的,我是高教出版社的书上的题目啊数理逻辑和集合论的关系证明2和证明3 一个三角形中的中线和角平分线是同一条能不能证明这是一个等腰三角形?