※ 引述《Noelyuan (疗伤中)》之铭言： : Ａ　Ｂ│Ａ→Ｂ : Ｔ　Ｔ　　Ｔ : Ｔ　Ｆ　　Ｆ : Ｆ　Ｔ　　Ｔ : Ｆ　Ｆ　　Ｔ : 请问一下最後一行是怎麽判断的，如果是ＡˇＢ；Ａ˙Ｂ好像可以用图示判断 : 那if then的模式要怎麽判断？ : 还是这是规定的运算符？ 我用 !A 代表 A 的相反逻辑 亦即是说 A 错，!A 就对；反之亦然。 在数学的逻辑中，我们假设 A 或 !A 存在且只有一个是对的， 这个假设在现实生活并不成立，但数学也只能处理成立的情况。 然後 A->B 会等价於 !B->!A， 假设 A 和 B 是 T，则 A->B 也是 T，所以 !B->!A 也是 T，而 !B 和 !A 都是 F。 把上述的证明反过来，就会得到当 A 和 B 是 F，则 A->B 是 T。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.115.25.21 ※ 编辑: bombduck 来自: 140.115.25.21 (03/28 09:31) ※ 编辑: bombduck 来自: 140.115.25.21 (03/28 09:33)