数理逻辑的疑惑这段时间在看离散数学中的数理逻辑,但其中有一些想不通的疑惑.P->Q中的“->”是逻辑连词,它是通过真值表来定义的,那么P:A是正方形,Q：A的四边相等,从数学上P->Q是真命题,在
来源：学生作业帮助网 编辑：六六作业网 时间：2024/05/03 15:29:43
数理逻辑的疑惑这段时间在看离散数学中的数理逻辑,但其中有一些想不通的疑惑.P->Q中的“->”是逻辑连词,它是通过真值表来定义的,那么P:A是正方形,Q：A的四边相等,从数学上P->Q是真命题,在
数理逻辑的疑惑
这段时间在看离散数学中的数理逻辑,但其中有一些想不通的疑惑.
P->Q中的“->”是逻辑连词,它是通过真值表来定义的,那么P:A是正方形,Q：A的四边相等,从数学上P->Q是真命题,在逻辑上这怎么理解呢?另外,
P->Q¬Q->P¬这是一个命题公式,按理说应该是命题变元成立的,为什么对命题普遍成立（就是真命题的逆否命题必真）,这是为什么,是不是因为我对“->”理解上的错误呀?
数理逻辑的疑惑这段时间在看离散数学中的数理逻辑,但其中有一些想不通的疑惑.P->Q中的“->”是逻辑连词,它是通过真值表来定义的,那么P:A是正方形,Q：A的四边相等,从数学上P->Q是真命题,在
P:A是正方形,
Q:A的四边相等.
P->Q Q是P的必要条件.
->的左边和右边有充分和必要的两个条件的概念,理解这两个条件就好了!
P->Q 只有P真同时Q假时才假。P为真时:A是正方形，此时Q为真，所以P->Q 为真。也就是说：“如果A是正方形那么A的四边相等”是真命题。
P->Q<=>¬Q->P¬ 为永真命题，所以对命题普遍成立。
他的意思是：“P->Q与¬Q->P¬同真同假”是永真命题。...
全部展开
P->Q 只有P真同时Q假时才假。P为真时:A是正方形，此时Q为真，所以P->Q 为真。也就是说：“如果A是正方形那么A的四边相等”是真命题。
P->Q<=>¬Q->P¬ 为永真命题，所以对命题普遍成立。
他的意思是：“P->Q与¬Q->P¬同真同假”是永真命题。
收起
就是正方形四边相等啊
原命题与其逆否命题同真同假啊
楼主可能不适合看数理逻辑