数理逻辑的疑惑这段时间在看离散数学中的数理逻辑,但其中有一些想不通的疑惑.P->Q中的“->”是逻辑连词,它是通过真值表
数理逻辑的疑惑
这段时间在看离散数学中的数理逻辑,但其中有一些想不通的疑惑.
P->Q中的“->”是逻辑连词,它是通过真值表来定义的,那么P:A是正方形,Q：A的四边相等,从数学上P->Q是真命题,在逻辑上这怎么理解呢?另外,
P->Q¬Q->P¬这是一个命题公式,按理说应该是命题变元成立的,为什么对命题普遍成立（就是真命题的逆否命题必真）,这是为什么,是不是因为我对“->”理解上的错误呀?
这段时间在看离散数学中的数理逻辑,但其中有一些想不通的疑惑.
P->Q中的“->”是逻辑连词,它是通过真值表来定义的,那么P:A是正方形,Q：A的四边相等,从数学上P->Q是真命题,在逻辑上这怎么理解呢?另外,
P->Q¬Q->P¬这是一个命题公式,按理说应该是命题变元成立的,为什么对命题普遍成立（就是真命题的逆否命题必真）,这是为什么,是不是因为我对“->”理解上的错误呀?
赞 leewindows 幼苗
共回答了27个问题采纳率：92.6% 举报
P:A是正方形,
Q:A的四边相等.
P->Q Q是P的必要条件.
->的左边和右边有充分和必要的两个条件的概念,理解这两个条件就好了!
Q:A的四边相等.
P->Q Q是P的必要条件.
->的左边和右边有充分和必要的两个条件的概念,理解这两个条件就好了!
1年前
2
可能相似的问题
-
1年前2个回答
-
1年前3个回答
你能帮帮他们吗