离散数学经常用于逻辑推理。
让我们看一下下面的例子。
A、B、C、D 四人将进行100 米比赛。 A 说:“C 第一,B 第二”,观众A、B、C 说:“C 第二。”第二个是D,第三个是D。 ”;C说:“A第二,D第四。”赛后发现,A、B、C各报了半场比赛的情况。实际排名是多少(假设没有平局)?
这里的方程(1)是因为A先生所说的“C是第一名,B是第二名”只正确了一半。
假设首先C 是正确的,其次是B 是错误的,并且(C1B2) 的结果是1,(C1B2) 的结果是0。
(C1B2)(C1B2) T成立。
假设B第二个是正确的,C第一个是不正确的,那么(C1B2)(C1B2)T也成立。
这里使用分配律。
这是正确的,因为最终获得的结果不存在矛盾。
整个过程就是先按照题目规定的条件,然后一步步得到一致的结果。
版权声明:本文转载于网络,版权归作者所有。如有侵权,请联系本站编辑删除。
