宝塔服务器面板，一键全能部署及管理，送你10850元礼包，点我领取

正文是完全“合情合理”的，不是严密的文章。 如果有错误的话，那真是太好了。 我真的不能接受，所以请一定要告诉我。

一.离散数学中的p-qtherearetwosimplypropositionsthat :

如果明天下雨，明天他会打伞。 如果你能解决这个问题，教授你平时的分会是满分。 在离散数学教科书中，p-q的真值表就是这样的：

pqp-qTTTTFFFTTFFT还需要注意：

p 不是能使 q 成立的唯一条件!!!

p 不是能使 q 成立的唯一条件!!!

p 不是能使 q 成立的唯一条件!!!

即：

明天他打伞，不一定是因为明天下雨，也许是因为明天有太阳，也许是因为明天天上有屎。 你的平时分数是满分，虽说你解决了那个问题，也许你真的把平时的作业都做完了，也许教授是爸爸。 2 .难以理解的问题这非常让人头疼。 我质疑离散数学定义的严密性。 我自己

我们用普通的思维思考的话，会得出以下结论：

p 为假的情况下，无论 q 是真是假，我们都无法确认　p-q 的真假。

如果明天不下雨，明天他打伞还是打伞，我们都无法判断。”如果明天下雨，明天他打伞。 ‘这个命题(propositions )是否成立。 如果你不能解决这个问题，不管他平时是否得了满分，我们都无法判定。”如果你能解决这个问题，你平时的部分就是满分。 “这个命题(propositions )”是否成立。 因为我们不能保证明天下雨他一定打伞，也不能确定你解决了这个问题教授一定会履行诺言。

但是，这与离散数学中定义的p-q真值表相矛盾。

三.二态逻辑和三态逻辑我们常常通过现实的三态逻辑

为了应对离散数学中的二元逻辑，我们产生了很大的理解上的问题。

在二状态逻辑中，命题的可取值有：真、假两种。 另一方面，在三态逻辑(这里的三态逻辑是我们常见的思维)中，命题的可取值为：真、假、不确定三个。

这是关于三态逻辑的p- q命题的真值表：

pqp-qTTTTFFFT不确定(我怎么知道) FF不确定(我怎么知道) )。

另一方面，在离散数学中，只考虑了二态逻辑下的命题。因此，其规定的形式<三态逻辑下的不确定在二态逻辑下一律为True？ 我也不知道)，关于这个规定是否合理，我也不知道。 现实生活中的逻辑不是二态逻辑(不确定是否是三态逻辑，但一定不是二态逻辑)。 四.结论离散数学中if…then的定义与我们的现实不同，不同之处在于逻辑是几种状态。