※ 引述《register (月光下的妖猫)》之铭言： : ※ 引述《lonelystar06 (时间会改变一切)》之铭言： : : [...] : [...] : 原命题 「那些不结婚的人老了之後一定会很惨…」 : P1 : 不结婚的人 ~P1: 结婚的人 : P2 : 老了之後 ~P2: 不老 : Q : 很惨 ~Q : 不会很惨 即 中等惨 或是 不惨 : 原命题 ( P1 and P2 ) → Q : 逆否命题 ~Q → ~( P1 and P2 ) : ~Q → ( ~P1 or ~P2 ) : 假设人群皆符合集合论 惨也符合集合论 : 又 基於集合论 : 我们可以证明 1. 原命题和逆否命题等价 2. 迪摩根定律 : 所以 若原命题成立 即 逆否命题成立 : 逆否命题 「 那些不会很惨的人 一定是 结婚的人 或是 不老的人」 : 结论是...... 不老的人 (年轻人 or 妖精?) 不会很惨 : 结婚的人 不会很惨 : ( ￣ c￣)y▂ξ 所以.......该位大叔说的很有理?? : [...] 我也来多嘴一下... 要检查一个未知真假的命题是否有问题... 如果找个确定为真的命题和这个未知真假的命题AND一下... 如果不恒为真... 那麽那个未知真假的命题可能就是有问题的. 就这个例子... 那个未知真假的命题就是那位大叔的话... "那些不结婚的人老了之後一定会很惨…" 其等价语意是... A::"不老的人或结婚的人不会很惨" 但是... 很明显的我们可以确定为真的命题是... B::"不管是不老的人或者结婚的人也有很惨的" 所以... A and B 肯定不恒为真... 也就是说... 那位大叔的话听听就好了... --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 140.109.23.171