数理逻辑的疑惑这段时间在看离散数学中的数理逻辑,但其中有一些想不通的疑惑.P->Q中的“->”是逻辑连词,它是通过真值表

来源：学生作业帮编辑：作业帮分类：数学作业时间：2024/08/23 05:11:57

数理逻辑的疑惑
这段时间在看离散数学中的数理逻辑,但其中有一些想不通的疑惑.
P->Q中的“->”是逻辑连词,它是通过真值表来定义的,那么P:A是正方形,Q：A的四边相等,从数学上P->Q是真命题,在逻辑上这怎么理解呢?另外,
P->Q¬Q->P¬这是一个命题公式,按理说应该是命题变元成立的,为什么对命题普遍成立（就是真命题的逆否命题必真）,这是为什么,是不是因为我对“->”理解上的错误呀?

P:A是正方形,
Q:A的四边相等.
P->Q Q是P的必要条件.
->的左边和右边有充分和必要的两个条件的概念,理解这两个条件就好了!

什么是离散数学里数理逻辑里面的真值数理逻辑中的问题刚开始学离散数学在数理逻辑中遇到一个概念：“称真值可以变化的陈述句为命题变项或命题变元,命题变项已不是我在学习逻辑时遇到了些困难!我先是学习了离散数学中的数理逻辑离散数学数理逻辑的一个题目关系演算的基础是( ) A.形式逻辑中的逻辑演算 B.形式逻辑中的关系演算 C.数理逻辑中的谓词演算 D.数理逻辑 2011年的离散数学数理逻辑部分形成性考核书面作业一、填空题1．命题公式的真值是　　．2．设P：他生病了,Q：他出差在数理逻辑中为什么”P仅当Q””只有Q才P”却是表示Q是P的必要条件?我觉得刚好相反啊,请指教! [数理逻辑]P→Q,如果P为假,那么这个命题真值都为1, 谁知道数理逻辑里的古怪的各种符号怎么念?我看的是北大邢滔滔的《数理逻辑》传统逻辑与现代数理逻辑的主要区别? 离散数学数理逻辑题在P系统中构造下面推理的证明：P125如果今天是周六,我们就到颐和园或圆明园玩.如果颐和园游人太多,就英语中的“and”的疑惑~