2009/09/03

推翻:生前不必多睡,死後自然長眠。

因 若p則q與若非q則非p等價,因此若「生前不必多睡」則「死後自然長眠」與若「死後不會長眠」則「生前必須多睡」等價。
但因大前提:「死後不會長眠」唯一未知,而在證明上無法以未知的理論作為論證來辯駁,因此無法成立。
因此得到命題『若「死後不會長眠」則「生前必須多睡」』為假命題,得到『若「生前不必多睡」則「死後自然長眠」』為假。


因此得到最重要的結果:盡量睡吧各位。