作者levions ()
看板CYSH91Y322
標題Re: 邏輯法律問題想問大家....
時間Tue Jan 20 22:18:12 2009
※ 引述《kendoo (床母我已經長大了...)》之銘言：
: 若現在有個營建廠商在施工，當天有可能有地震，有
: 颱風，任何會造成房子龜裂的因素都不排除~
: 當他用A工法去蓋房子時，隔天旁邊的房子產生龜裂
: 則當用B工法去蓋房子時，隔天旁邊的房子沒有龜裂
: 則可否單就邏輯認定A工法就是造成房子龜裂的原因?
: 我直覺認為是不行，但說不出所以然，可不可以請對
: 數學演繹法(應該是吧?)有研究的人，用比較邏輯推
: 演的話解釋一下?
: 因為法官要看....謝謝~
Pa: 用A法蓋房
Pb: 用B法蓋房
Q : 房子龜裂
suppose原假設均成立
即 Pb → ~Q
Pa → Q
此敘述與 ~Pa v Q 等義(由真值表可得知) -----(1)
而Pb為~Pa中之其中一類
所以 Pb v Q 可由(1)推得
而此敘述又與
~Pb → Q 等義(不是用B法蓋房子就會龜裂)
與原本假設
Pb → ~Q(真值表不相同)
不符
所以不成立~
順便附上真值表
p q ~p ~q p→q ~p→~q ~p v q
T T F F T T T
T F F T F T F
F T T F T F T
F F T T T T T
應該是這樣吧~
哈哈~
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.210.45.206
※ 編輯: levions 來自: 218.210.45.206 (01/20 22:19)
1F：推 kendoo:幹!我就是要這種東西，我要拿去下死法官!! 01/20 22:59
2F：推 kendoo:(但能用國語嗎?) 01/20 22:59
3F：→ levions:你自己轉啦 我都把那個P Q 是什麼東西都寫了 01/21 00:30
4F：→ levions:去嚇死法官吧~XDDD 我再問你法官的反應XD 01/21 00:30
5F：→ levions:我只負責寫數學式XDDD 01/21 00:31
6F：→ levions:請高手指正 我沒什麼把握 感覺還是怪怪的～ 01/21 16:24