Re: [打屁] 不結婚,老了之後會很慘?
※ 引述《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
→
05/16 00:55, , 1F
05/16 00:55, 1F
→
05/16 01:34, , 2F
05/16 01:34, 2F
推
05/16 12:06, , 3F
05/16 12:06, 3F
推
05/16 13:30, , 4F
05/16 13:30, 4F
→
05/16 13:31, , 5F
05/16 13:31, 5F
→
05/16 14:41, , 6F
05/16 14:41, 6F
→
05/16 14:43, , 7F
05/16 14:43, 7F
→
05/16 20:53, , 8F
05/16 20:53, 8F
→
08/24 00:29, , 9F
08/24 00:29, 9F
討論串 (同標題文章)
完整討論串 (本文為第 6 之 31 篇):